118 模态逻辑引论

第一本研究介绍模态逻辑的著作。当代周礼全著。上海人民出版社1986年出版。全书共11章，28万余字。从运用形式语言建立逻辑系统的基本概念入手，介绍了古典的一阶逻辑(命题演算、狭谓词演算)，模态命题演算T、S₄和S₅，加进量词的模态谓词演算QTB、QS₄B、QT、QS₄和QS₅。还介绍了模态逻辑的自然推导系统。最后叙述了自亚里斯多德至本世纪60年代模态逻辑的发展简史。是学习研究模态逻辑的重要著作。