谓词模态逻辑到对应物理论的翻译

• 作者: 唐素勤 王驹 申宇铭 蒋运承
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 谓词模态逻辑 对应物理论 语义忠实语义满翻译
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 2323-2335
• 页数: 13页
• 分类号: TP18
• 字数: 11743字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2012.04163

摘要

对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐素勤	广西师范大学数学科学学院	32	166	8.0	11.0
2	王驹	广西师范大学数学科学学院	53	458	11.0	19.0
3	申宇铭	广西师范大学数学科学学院	7	38	4.0	6.0
4	蒋运承	华南师范大学计算机学院	22	57	5.0	5.0