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