论模态逻辑中的嵌入问题

摘要：

目前在模态逻辑中,主要存在两种嵌入方法:一种是"坍塌嵌入",一种是"翻译嵌入";用周北海和A.Chagrov和M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现:虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻辑P,但是"S5可以翻译嵌入P中",因此,通过定义翻译嵌入映射Tr4,从而证明了S5可翻译嵌入P;最终我们提出并证明了这样的定理:"翻译嵌入映射Tr4可以使得S5的所有子系统K、D、T、S4和B,以及系统KDc与KTc都能够翻译嵌入系统P中."

关键词：模态逻辑、能行的翻译函数、坍塌嵌入、翻译嵌入、翻译嵌入映射

所属期刊栏目：37

分类号：B815.1(逻辑学(论理学))

在线出版日期：2011-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：61-66