《行为时序逻辑与自反线性时序逻辑的关系-论文》.pdf

文档介绍：文章编 号 ：——— ：．．．— ．．．
行为 时序逻辑 与 自反线性 时序逻辑 的关 系
白金 山，冯天亮 ，吴应江 ，丘文峰 ，王梦
广 东 医学 院信 息 工 程 学 院 ，东 莞
摘 要 ：
为 了能够将哲学逻辑 中的公理 系统运用到行 为时序逻辑 的研究 中 。对行 为时序逻辑公 式的语义进行形式化定 义 ．从
语 义和语法两方面研究行为时序逻辑公理系统 和具有 自反性 质的线性 时序逻辑 公理系统之间的联系 ．提 出并证 明行
为时序逻辑公式转换为 自反线性时序逻辑公式 的定理 。按 照集合论 和模 型论 的思想 ，定 义行为时序逻辑 中项 和行 为
时序逻辑原子公 式 的概念 。定义 所提 出的行 为时序逻辑公式 的语 义。证 明 自反线性时序逻辑公理 系
统适用于行为时序逻辑公理 系统 ．以此 为基础证 明行 为时序 逻辑 的简单规 则 、基本规则 和附加规则。
关 键 词 ：
模 型检测 ；行 为时序逻辑 ；语义 ；语法 ；自反性
基 金 项 目 ：
广东医学 院博士启动基金 ．
引言 上 的二元关 系满 足 自反性 、反对称 性 、传 递性 ，主要 公
理 包 括 ：
线性 时序逻辑在计算机 的模 型检测技术 中有 着重
◇ ◇— ◇
要 的应用 。文献 『在哲学 逻辑的线性时序逻辑 公理系
口 —