| 《模态逻辑引论》 周礼全著。上海人民出版社1986年出版。中国第一本系统论述模态逻辑的著作。全书从形式语言、逻辑演算等基本概念和基本方法入手，在经典的命题逻辑和狭谓词逻辑的基础之上，对正规模态命题逻辑系统T、S 4、S 5及模态谓词逻辑系统QTB、QS 4B、QT、QS 4、QS 5作了详细的介绍(包括公理系统和自然推理系统)，并给出了这些系统的Kripke模型。借助于语义模型，书中对上述各个系统的可靠性和完全性进行了证明，并通过语义图方法讨论了系统T、S 4和S 5的可判定性。书中最后一章《模态逻辑简史》叙述了从亚里士多德到20世纪60年代模态逻辑的主要成果，展现了这一重要的逻辑学分支的发展脉络。 |