?时间逻辑
时间逻辑（Temporal logic），广义上是指任何处理时间因素的形式逻辑系统，比如谓词逻辑，区间语义学，事件演算等；狭义上是指Prior以时态逻辑（tense logic...
?时序逻辑
composition of temporal logic specifications-时序逻辑的规格组成-知来论文发表中心 Keywords: temporal logic, specification, verification, compositional semantics, partial order [gap=166]关键词：时序逻辑，规范，验证，组合语义学，...
?时态逻辑
...识与技术》—2008年第34期—龙源期刊网 关键词：时态逻辑；UML交互模型；模型检测；自动机 [gap=850]Key words: temporal logic; UML Interactions; Model checking; automaton ...
?使用时态逻辑
使用时态逻辑(Temporal Logic,TL)对工作流模型的需求与特性进行规范化描述,具有描述能力强、灵活方便的优点.
行为时序逻辑 ; 逻辑 ; 时序逻辑
线性时序逻辑 ; 提出的是线性时序逻辑 ; 和线性时态逻辑理论
计 区间时态逻辑 ; 的区间时态逻辑 ; 时段时态逻辑
时序逻辑；时间逻辑
sequential logic
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。