在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
temporal logic
查词链接：
https://www.zzcmix.top/dict/temporal_logic复制链接 时间逻辑：一种用于表示和推理关于时间的逻辑系统，通常用于计算机科学、人工智能和哲学等领域。
查看英英释义
abstract:
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something".
网络释义
时间逻辑
时间逻辑（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)对工作流模型的需求与特性进行规范化描述,具有描述能力强、灵活方便的优点.
常用短语
更多常用短语近义词
时序逻辑；时间逻辑
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}