线性时序逻辑

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