论模态逻辑中的嵌入问题.pdfVIP

( ) 第 卷 第 期 西南大学学报 社会科学版 年 月 37 1 2011 1 ( ) , Vol.37 No.1 JournalofSouthwestUniversit SocialSciencesEdition Jan.2011 y * 论模态逻辑中的嵌入问题 张 晓 君 ( , ) 中国社会科学院 哲学研究所 北京市 100732 摘 要: , : “ ”, “ ”; 目前在模态逻辑中 主要存在两种嵌入方法 一种是 坍塌嵌入 一种是 翻译嵌入 用周北海 , : 和 和 对这两种嵌入方法进行有针对性的论述 可以发现 虽然正规模态逻辑 A.Charov M.Zakharaschev g y , “ ”, , , 系统 不可坍塌嵌入经典命题逻辑 但是 可以翻译嵌入 中 因此 通过定义翻译嵌入映射 从而 S5 P S5 P Tr 4 ; :“ 证明了 可翻译嵌入 最终我们提出并证明了这样的定理 翻译嵌入映射 可以使得 的所有子系统 S5 P Tr S5 4 、、、 , 。” 和 以及系统 与 都能够翻译嵌入系统 中 K DTS4 B KDc KTc P 关键词: ; ; ; ; 模态逻辑 能行的翻译函数 坍塌嵌入 翻译嵌入 翻译嵌入映射 中图分类号: 文献标识码: 文章编号: ( ) B815.1 A 1673-9841201101-0061-06 , , , 在逻辑中 我们经常通过对一个系统添加特征公理来得到其扩张系统 那么 我们能否用一个系统 , ? 所对应的逻辑语言中的联结词 来解释其扩张系统所对应的逻辑语言中的联结词呢