1) temporal logic
时态逻辑
1.
Formal description of properties of concurrency system by temporal logic;
时态逻辑形式化描述并发系统性质
2.
Automated trust negotiation based on temporal logic;
基于时态逻辑的自动信任协商模型
3.
Research on knowledge representation based on temporal logic;
基于时态逻辑的知识表示研究
2) CTL temporal logic
CTL时态逻辑
3) Interval temporal logic
时段时态逻辑
1.
Interval temporal logic based intrusion signatures(ISITL) is a high-abstractive formal description language for representing intrusion signatures.
ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言，它对Allen的时段时态逻辑进行了实时描述的扩充，从而加强了其入侵特征的描述能力。
4) real time temporal logic
实时时态逻辑
5) 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.
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。
6) computational tree logic
分支时态逻辑
补充资料：时态逻辑
| 时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。早在古希腊时期，麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种：时间上确定的语句；时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造：①把一组语句作为公理，这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造，这叫做语义地构造。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条