文章摘要
多模态Sahlqvist公理模式性质研究
OnPropertiesofSahlqvist Axiom Schema in Multimodal Logics
  
DOI:
中文关键词: 多模态  Sahlqvist公理模式  对应性  完全性
英文关键词: multimodal  Sahlqvist axiom schema  correspondence  completeness
基金项目:
作者单位
陈家超 中共湖北省委党校 党史党建部,湖北 武汉 430060 
姚文艳 湖北中医药大学 公共管理学院, 湖北 武汉 430078 
陶维兵 武汉市社会科学院 马克思主义研究中心,湖北 武汉 430077 
摘要点击次数: 1213
全文下载次数: 172
中文摘要:
      多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展。在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述。任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的。Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力。
英文摘要:
      Sahlqvist axiom schema in multimodal logics is a generalization of Sahlqvist formulas in monomodal logics. In multimodal logics, the Sahlqvist axiom schema corresponds to first-order formulas on frames. The properties of the frames can be characterized using relational equations. Any normal multimodal logics containing Sahlqvist axiom schema are complete with respect to the set of first-order frames that satisfy the corresponding properties of the Sahlqvist axiom schema. The Sahlqvist axiom schema has more expressive power in multimodal logics.
查看全文   查看/发表评论  下载PDF阅读器
关闭