Bull定理一个证明的注记

摘要：

Blackbum等的Modal Logic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏.本文对之进行了修正,同时给出关键步骤的简化证明.

关键词：S4.3、正规扩张、有穷框架性

所属期刊栏目：4

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金项目"模态逻辑中的典范问题研究"编号08CZX020;中国人民大学科学研究基金项目10XNL012和中国人民大学哲学院985工程三期建设项目的资助

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

页数：共9页

页码：15-23