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