Chinese 线性时序逻辑 Cited by user 桃花影落飞神剑 on 04 Aug 2022 线性时序逻辑(linear temporal logic,LTL),或称线性时态逻辑,是一种模态时态逻辑. 其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件.