Linear Temporal Logic的意思|示意

美 / / 英 / /

线性时间逻辑，线性时序逻辑

Linear Temporal Logic的网络常见释义

线性时序逻辑 2.1.1 时序逻辑语言 线性时序逻辑(Linear Temporal Logic, LTL)是一种形式 化约束描述方法，可有效地描述系统在执行路径上的性质。

提出的是线性时序逻辑 Pnuelli提出的是线性时序逻辑(Linear Temporal Logic, LTL)。LTL在一阶命题逻辑的基础上引入了几坨与时间有关的操作符。

Linear Temporal Logic相关短语

1、 propositional linear temporal logic 命题线性时序逻辑

2、 linear temporal logic ltl 线性时态逻辑

3、 finite propositioanl linear temporal logic 有穷命题线性时序逻辑