《模态逻辑引论》是现代周礼全编著的一部哲学著作。

本书是国内第一部讲述模态逻辑的书。全书共有ll章，第一章是关于形式语言与形式逻辑系统的绪论，作者从运用形式语言建立逻辑系统的基本概念人手，介绍了古典的一阶逻辑(命题逻辑、狭谓词逻辑一-第二、三章)，模态命题逻辑系统T、S4和S5。加进量词的模态谓词演算QTB、QSB、QT、QS4和QS5。(第四章—-第九章)。除模态逻辑的公理系统外，还介绍了模态逻辑的自然推导系统(第十章)。最后叙述了自古希腊亚里士多德至本世纪60年代模态逻辑的发展简史。这部分内容对于读者了解模态逻辑的发展全貌是有所裨益的。

上海人民出版社1988年4月版，28万字。