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

发布时间：2018-05-02 07:58

  本文选题：模态逻辑系统 + 有限模型性质　； 参考：《中国人民大学学报》2006年03期

【摘要】：系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。
[Abstract]:The "canonical" and "finite model properties" of the system are closely related to "completeness" but are essentially different concepts. The finite canonical model and the filter model are two different methods to prove the properties of the finite model through KW system, but there are many commonalities in technology.
【作者单位】： 中国人民大学哲学院
【分类号】：B815.1

【相似文献】

相关硕士学位论文 前1条

1 王晓;科恩的归纳支持研究[D];西南大学;2011年

，

本文编号：1833046