亦称“时序逻辑”。研究包含时态词的命题和使用这种命题进行的推理的逻辑学说。现代逻辑的一个分支。20世纪50—60年代，西方逻辑学家研究英语等语言中动词的时态形式，开始建立时态逻辑。其基本目的是把包含时态词的命题形式化，并且把使用这种命题进行的推理系统化。汉语动词没有时态形式，没有词形的变化，而用时间词、时间副词和时态助词表示时间关系。时态逻辑对于汉语中时态语句的刻画同样是有意义的。