未找到相关数据
时态逻辑的比较与分析
被引：7
作者：
张广泉
孙敏
机构：
[1] 重庆师范学院数学与计算机科学系
[2] 四川经济干部管理学院信息系
来源：
关键词：
线性时态逻辑,分支时态逻辑,路径;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。
引用
收藏
页码：18 / 21
页数：4
相关论文