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