论模态逻辑中的嵌入问题

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