重庆工商大学学报（自然科学版）

引用本文:	张广泉,孙敏.时态逻辑的比较与分析(J/M/D/N,J:杂志，M：书，D：论文，N：报纸).期刊名称,1999，（2）：
	CHEN X. Adap tive slidingmode contr ol for discrete2ti me multi2inputmulti2 out put systems[ J ]. Aut omatica, 2006, 42(6): 4272-435

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 780次下载 5次
分享到：微信更多字体:加大+\|默认\|缩小-
时态逻辑的比较与分析
张广泉,孙敏

作者

单位

摘要:

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。

关键词: 线性时态逻辑,分支时态逻辑,路径

DOI：

分类号:TP301

基金项目:

Comparison and Analysis of Temporal Logic

张广泉孙敏' target='_blank'>Zhang Guangquan

Abstract:

Through analyzing and comparing the two versions of temporal logic linear temporal logic and branching temporal logic.The properties and their application range are pointed out.

Key words: linear temporal logic,branching temporal logic,path,