K．Fine证明S4．3的所有正规扩张都是可有穷公理化的。证明中使用了列表（ list ）方法，其中的关键是Kruskal定理的一个简化版本，Fine使用归......

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