tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
...识与技术》—2008年第34期—龙源期刊网 关键词：时态逻辑；UML交互模型；模型检测；自动机 [gap=850]Key words: temporal logic; UML Interactions; Model checking; automaton ...
基于152个网页-相关网页
The characteristics and forms of describing properties of UML models with linear temporal logic are also studied.
研究了线性时态逻辑公式表达UML模型性质的特点和形式。
参考来源 - 面向UML的模型检验研究In order to effectively describe the relatively static state of the real world,the feasibility of introducing the reflexive property into linear tense logic theorem system of philosophical logic is analyzed.
为了能够有效的描述现实世界中的相对静止状态,分析了在哲学逻辑理论中的线序时态逻辑定理系统中引入自反性质的可行性,在此基础上建立了具有自反性质的线序时态逻辑系统TA。
参考来源 - 具有自反性质的线序时态逻辑研究Part three:Temporal pubic announcement logic which merges the semantic framework of pubic announcement logic and epistemic temporal logic and assigns to each state in a given epistemic model a set of sequences of pubic announcements.
第三部分:结合公开宣告逻辑系统和认知时态逻辑系统,将认知模型中的认知状态指派为公开宣告序列集,以讨论时态公开宣告逻辑系统TPAL。
参考来源 - 时态公开宣告逻辑初探·2,447,543篇论文数据，部分数据来源于NoteExpress
不同的时态逻辑能够适应不同的推理任务。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。
Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.
应用推荐