|
|||||
|
|
| 时态逻辑的比较与分析 | |
| 引用本文： | 张广泉,孙敏.时态逻辑的比较与分析[J].重庆工商大学学报(自然科学版),1999(2). |
| 作者姓名： | 张广泉 孙敏 |
| 作者单位： | 重庆师范学院数学与计算机科学系(张广泉)，四川经济干部管理学院信息系(孙敏) |
| 摘 要： | 对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。 |
| 关 键 词： | 线性时态逻辑 分支时态逻辑 路径 |
Comparison and Analysis of Temporal Logic |
|
| Zhang Guangquan.Comparison and Analysis of Temporal Logic[J].Journal of Chongqing Technology and Business University:Natural Science Edition,1999(2). | |
| Authors: | 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. |
| Keywords: | linear temporal logic branching temporal logic path |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《重庆工商大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《重庆工商大学学报(自然科学版)》下载免费的PDF全文 | |