1) proposition linear temporal logic
命题线性时态逻辑
1.
This paper presents a model-checking algorithm for verifying the properties of concurrent systems using proposition linear temporal logic (PLTL) based on Manna-Pnueli framework as formal language to specify concurrent systems; describing the properties by PLTL temporal formula.
采用Manna和Pnueli提出的命题线性时态逻辑PLTL作为并发系统的形式化规约语言,用PLTL公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
2) propositional linear temporal logic
命题线性时序逻辑
1.
In this paper, the concept of dual models of a propositional linear temporal logic formula is defined: A formula f has dual models if it has two models (namely two ω-sequences of states) such that the assignments to atomic propositions at each position of them are dual.
定义了一个命题线性时序逻辑的对偶模型的概念。
3) finite propositioanl linear temporal logic
有穷命题线性时序逻辑
4) linear temporal logic
线性时态逻辑
1.
Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究
2.
A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines.
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
3.
Through analyzing and comparing the two versions of temporal logic linear temporal logic and branching temporal logic.
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。
5) LTL
线性时态逻辑
1.
For the correctness expressed with the linear time temporal logic LTL-X a Petri net based verification approach the employs a set of graph reduction is proposed.
文章对线性时态逻辑LTL-X描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性。
6) propositional modal logic
命题模态逻辑
1.
The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered, and the description of the associated Kripke semantics is given.
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述。
2.
"" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.
研究了命题模态逻辑Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“”型模态逻辑结果的自动推理。
3.
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.
目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。
补充资料：时态逻辑
| 时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。早在古希腊时期，麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种：时间上确定的语句；时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造：①把一组语句作为公理，这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造，这叫做语义地构造。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条