行为时序逻辑与自反线性时序逻辑的关系

• 作者: 丘文峰 冯天亮 吴应江 王梦 白金山
• 来源期刊: 现代计算机（普及版）
• 关键词: 模型检测 行为时序逻辑 语义 语法 自反性
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 研究与开发
• 页码范围: 3-7
• 页数: 5页
• 字数: 3923字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2014.02.001

摘要

为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中，对行为时序逻辑公式的语义进行形式化定义，从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系，提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想，定义行为时序逻辑中项和行为时序逻辑原子公式的概念，定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统，以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯天亮	广东医学院信息工程学院	33	146	7.0	10.0
2	王梦	广东医学院信息工程学院	7	20	2.0	4.0
3	丘文峰	广东医学院信息工程学院	13	28	3.0	5.0
4	白金山	广东医学院信息工程学院	3	3	1.0	1.0
5	吴应江	广东医学院信息工程学院	9	23	3.0	4.0