出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第688页（247字）
自然语言逻辑的分支学科。研究含有时态词的命题及其推理的逻辑。是现代逻辑和自然语言相结合的产物。它研究的主要内容是时态命题的特征、时态命题的类型、时态命题的真值、时态命题间的关系及其推理等。运用时态逻辑，有助于精确刻画自然语言中一些时态语句的语义。如“所有人都曾经是小孩”，可以作两种时态刻画：⑴所有人都曾有一个时候是小孩，记作(
x)PA(x)；⑵有一个时候，所有人都是小孩，记作p((
x)A(x))。作这样处理后，很容易看出⑴是真的、⑵是假的。