Temporal logic

线性时序逻辑（英語：linear temporal logic，LTL），或称线性时态逻辑，是一种模态时态逻辑。其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件。线性时序逻辑由阿米尔·伯努利在1977年提出。线性时序逻辑和计算树逻辑（英语：Computation tree logic）两者可以归入更广义的CTL*（英语：CTL*）中。

台語現代文（Modern Taiwanese Language） MTL Instruments Group 母語（Mother tongue language, or first language） 度量時序邏輯（Metric temporal logic（英语：Metric temporal logic））

行为时序逻辑（英語：The Temporal Logic of Actions）是由莱斯利·兰伯特（Leslie Lamport）发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学，程序验证。

时序逻辑程序设计与软件工程（上）. 北京: 科学出版社. 1999. ISBN 7-03-007006-2 （中文（简体））.  改 Anthony Galton, Temporal Logic （页面存档备份，存于互联网档案馆） in the Stanford Encyclopedia of Philosophy （页面存档备份，存于互联网档案馆）

F* Free Pascal Haskell Haxe Hope Idris Java 15 Kotlin Limbo Language Of Temporal Ordering Specification (LOTOS) Mercury Miranda Nemerle Nim OCaml Opa OpenCog