具有模态词□φ＝□1φν□2φ且可靠与完备的公理系统

• 作者: 曹存根 眭跃飞 邓少波 黎敏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 命题模态逻辑 模态词 公理系统
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 2286-2296
• 页数: 11页
• 分类号: TP18
• 字数: 8890字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004748

摘要

提出具有模态词□φ＝□1φν□2φ的命题模态逻辑,给出其语言、语法与语义,其公理化系统是可靠与完备的,其中,□1与□2是给定的模态词.该逻辑的公理化系统具有与公理系统S5相似的语言,但具有不同的语法与语义.对于任意的公式φ2□φ＝□1φν□2φ;框架定义为三元组〈W,R1,R2〉,模型定义为四元组〈W,R1,R2,I〉;在完备性定理证明过程中,需要在由所有极大协调集所构成的集合上构造出两个等价关系,其典型模型的构建方法与经典典型模型的构建方法不同.如果□1的可达关系R1等于□2的可达关系R2,那么该逻辑的公理化系统变成S5.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹存根	中国科学院计算技术研究所智能信息处理重点实验室	91	991	17.0	27.0
2	黎敏	南昌工程学院信息工程学院	23	103	6.0	9.0
3	眭跃飞	中国科学院计算技术研究所智能信息处理重点实验室	35	313	9.0	17.0
4	邓少波	中国科学院计算技术研究所智能信息处理重点实验室	19	72	6.0	7.0