1、不同的时态逻辑能够适应不同的推理任务。

2、作为模态逻辑的继承,与数理逻辑的又一外延,时态逻辑断言推理则有效地解决这方面出现的难题。

3、本文的目的是:为基本的一阶时态逻辑建立一个完备*定理。

4、时态逻辑在软件确认和模型检查中有广泛的应用。

5、在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。

6、最后介绍了线*时态逻辑特*模式在SPIN中的应用。

7、在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑

8、提出了将线*时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。

9、我们也能使用一阶时态逻辑,为各种研究领域建立一些特定的形式系统。

10、针对PNO模型存在的分析验*问题,本文将时态逻辑引入PNO模型,提出了相应的建模及验*方法。

11、本文通过对网络协议形式化描述和验*问题的研究,针对网络协议的特*,给出了一种基于时态逻辑的模型系统。

12、提出了基于线*赋*时态逻辑的行为建模方法,分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。

13、本文提出了模糊初值的概念,通过映*贴近度到模糊初值空间,我们给出了模糊时态逻辑中的一种新的推理方法。