| 论模态逻辑系统的有限模型性质 |
| |
| 引用本文： | 许涤非.论模态逻辑系统的有限模型性质[J].中国人民大学学报,2006(3). |
| |
| 作者姓名： | 许涤非 |
| |
| 作者单位： | 中国人民大学哲学院 北京100872 |
| |
| 摘 要： | 系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。
|
| 关 键 词： | 模态逻辑系统 有限模型性质 典范性 |
On the Finite Model Property of Modal Logics |
| |
| XU Di-fei.On the Finite Model Property of Modal Logics[J].Journal of Renmin University of China,2006(3). |
| |
| Authors: | XU Di-fei |
| |
| Abstract: | "canonical" and "finite model property" are different conceptions,which are relevant to the system's completeness.From the example of the system KW,the paper shows that finite canonical model and filtration are two different ways to prove finite model property,but they have something in common on techniques. |
| |
| Keywords: | modal logics finite model property canonical model |
| 本文献已被 CNKI 等数据库收录！ |
