线性时态逻辑

（计算机科学技术）

线性时态逻辑（linear temporal logic），计算机科学技术名词，一种能表达时间概念的特殊时态逻辑。它将时间轴看成一个线性的序列，常用来精确表示模型的动态语义。