多模态Sahlqvist公理模式性质研究
DOI:
作者:
作者单位:

作者简介:

通讯作者:

基金项目:


OnPropertiesofSahlqvist Axiom Schema in Multimodal Logics
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
    摘要:

    多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展。在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述。任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的。Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力。

    Abstract:

    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.

    参考文献
    相似文献
    引证文献
引用本文

赵贤.多模态Sahlqvist公理模式性质研究[J].湖南科技大学学报(社会科学版),2013,16(4):25-28

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2013-06-21