论模态逻辑系统的有限模型性质

作者：许涤非

来源：中国人民大学学报, 2006, (03): 103-107.

• 模态逻辑系统
• 有限模型性质
• 典范性 modal logics
• finite model property
• canonical model

系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。

• 单位
  中国人民大学