时态逻辑的英文单词

“时态逻辑”对应的英文单词有：tense logic、temporal logic ，一共2个，具体意思及用法如下：

tense logic[计] 时态逻辑

temporal logic时态逻辑

与时态逻辑相关的短语

分支时态逻辑Computation Tree Logic;CTL

时段时态逻辑Interval temporal logic

区间时态逻辑[计] interval temporal logic

性时态逻辑理论Linear Temporal Logic;LTL

抽取及时态逻辑EXTRACTION AND temporal logic

定量命题时态逻辑QPTL

题时态逻辑LPTL

变数线性时态逻辑FLTL