超模态逻辑K[T（˙）m，K（˙）n]

摘要：

本文试图从逻辑的角度来探讨语境依赖现象，一类特殊的语言语境依赖现象，即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D. M. Gabbay关于超模态逻辑理论进行扩充。首先，通过泛关系语义学和D. M. Gabbay的“模转换”概念建立起了与Gabbay相同的超模态逻辑语义学。在这基础上，定义了模转换范式，并证明了范式的存在定理，使得所有超模态逻辑的讨论都转换为对其范式的讨论。其次，对K、T两种模态算子，在任意框架上进行一般性的推广，得到一类超模态逻辑类K[˙Tm,˙Kn]。再通过翻译定理，找到了一批内定理，以及证明了一些不成立的推演规则，如必然化规则和等值替换规则。

关键词：超模态算子、模转换范式、语义学、翻译定理、K˙Tm、˙Kn

所属期刊栏目：9

分类号：B81(逻辑学(论理学))

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

页数：共22页

页码：1-22