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

摘要：

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

关键词：模态逻辑系统、有限模型性质、典范性

所属期刊栏目：20

分类号：B815.1(逻辑学(论理学))

在线出版日期：2014-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：103-107