| Bull定理一个证明的注记 |
| |
| 引用本文： | 裘江杰.Bull定理一个证明的注记[J].逻辑学研究,2011(4):15-23. |
| |
| 作者姓名： | 裘江杰 |
| |
| 作者单位： | 中国人民大学哲学院; |
| |
| 基金项目： | 国家社会科学基金项目“模态逻辑中的典范问题研究”(编号08CZX020); 中国人民大学科学研究基金项目10XNL012;中国人民大学哲学院985工程三期建设项目的资助 |
| |
| 摘 要： | Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
|
| 关 键 词： | S4.3 正规扩张 有穷框架性 |
A Note on a Proof of the Bull's Theorem |
| |
| Jiangjie Qiu School of Philosophy,Renmin University of China.A Note on a Proof of the Bull's Theorem[J].Studies in Logic,2011(4):15-23. |
| |
| Authors: | Jiangjie Qiu School of Philosophy Renmin University of China |
| |
| Institution: | Jiangjie Qiu School of Philosophy,Renmin University of China |
| |
| Abstract: | Bull's theorem tells us that every consistent normal extension of S4.3 has the finite frame property.The book Modal Logic,written by P.Blackburn,M.de Rijke and Y. Venema,is an excellent textbook.But there are several mistakes in the proof of Bull's theorem in chapter 4 of the book.For example,the argumentation in claim 2 of lemma 4.94 is wrong.It also lacks the consideration of a situation that u may not belong to f(u) in theorem 4.96.We revise the whole proof and correct these mistakes.Moreover,we simplify... |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
