期刊文章详细信息
时态逻辑的比较与分析
Comparison and Analysis of Temporal Logic
文献类型：期刊文章
机构地区：[1]重庆师范学院数学与计算机科学系 [2]四川经济干部管理学院信息系
年 份：1999
卷 号：16
期 号：2
起止页码：15-18
语 种：中文
收录情况：普通刊
摘 要：对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。
关 键 词：线性时态逻辑 分支时态逻辑 时态逻辑 模态逻辑
分 类 号：O141[数学类] TP301]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
