许春梅
- 作品数：3 被引量：1H指数：1
- 供职机构：北京大学哲学系更多>>
- 相关领域：哲学宗教更多>>
- 超模态逻辑K[T_m,K_n]
- 2016年
- 本文试图从逻辑的角度来探讨语境依赖现象,一类特殊的语言语境依赖现象,即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D.M.Gabbay关于超模态逻辑理论进行扩充。首先,通过泛关系语义学和D.M.Gabbay的"模转换"概念建立起了与Gabbay相同的超模态逻辑语义学。在这基础上,定义了模转换范式,并证明了范式的存在定理,使得所有超模态逻辑的讨论都转换为对其范式的讨论。其次,对K、T两种模态算子,在任意框架上进行一般性的推广,得到一类超模态逻辑类K[T_m,K_n]。再通过翻译定理,找到了一批内定理,以及证明了一些不成立的推演规则,如必然化规则和等值替换规则。
- 许春梅
- 关键词：语义学
- 超模态逻辑K[T_nK]和K[TK_n](英文)
- 2012年
- 本文的工作是在D.M.Gabbay的一篇论文《超模态逻辑理论:在模态逻辑中的模转换》基础上所做的,主要是将他的两类满足关系扩充到n+1种满足关系,然后在此基础上得到两类一般性的逻辑类K[T_nK]和K[TK_n],其中n≥1。我们得到了一些更为一般性的结论:(1)逻辑类K[T_nK]的定理模式是:对任意n≥1,□^(j+(n+1)k)p→□^(i+(n+1)k)p,其中0≤i
- 许春梅
- 关键词：模态逻辑逻辑理论定理
- 基于K4的超模态逻辑被引量：1
- 2014年
- D.M.Gabbay在"超模态逻辑理论:模态逻辑中的模转换"一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑Hs i。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4[T,K],主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。
- 许春梅刘壮虎
