|
多模态Sahlqvist公理模式性质研究 |
OnPropertiesofSahlqvist Axiom Schema in Multimodal Logics |
|
DOI: |
中文关键词: 多模态 Sahlqvist公理模式 对应性 完全性 |
英文关键词: multimodal Sahlqvist axiom schema correspondence completeness |
基金项目: |
|
摘要点击次数: 2240 |
全文下载次数: 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阅读器 |
关闭 |