时间形式化表示法（formal representation of time），文学-语言文字-计算语言学及语料库语言学-计算语言学，在一阶谓词演算中，采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。关于时间的最简单的理论认为，时间是一直向前流动的，事件则与时间线上的一个点或者一个片段相联系。根据这样的概念，可以把不同的事件放在这个时间线上，从而形成事件的顺序。如果时间流把第一个事件引导到第二个事件，那么就说第一个事件先于第二个事件。在大多数关于时间的理论中，还有“当前时刻”的概念。把这些概念与时间顺序的概念结合起来，就产生了关于现在、过去和将来的概念。例如，例1：I arrived in Beijing.（我抵达了北京。）例2：I am arriving in Beijing.（我正在抵达北京的途中。）例3：I will arrive in Beijing.（我将抵达北京。