线性时序逻辑维基百科,自由的 encyclopedia 线性时序逻辑(英语:linear temporal logic,LTL),或称线性时态逻辑,是一种模态时态逻辑。其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件。[1][2][3][4]线性时序逻辑由阿米尔·伯努利在1977年提出。[5]线性时序逻辑和计算树逻辑(英语:Computation tree logic)两者可以归入更广义的CTL*(英语:CTL*)中。
线性时序逻辑(英语:linear temporal logic,LTL),或称线性时态逻辑,是一种模态时态逻辑。其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件。[1][2][3][4]线性时序逻辑由阿米尔·伯努利在1977年提出。[5]线性时序逻辑和计算树逻辑(英语:Computation tree logic)两者可以归入更广义的CTL*(英语:CTL*)中。