线性时态逻辑

（计算机科学技术名词）

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