《模态逻辑引论》是由周礼全编写的哲学类书籍，由上海人民出版社出版发行，全书共11章，总字数达28万字。

作为国内首部介绍模态逻辑的专著，《模态逻辑引论》涵盖了模态逻辑的基础知识和发展历史。书中首先对形式语言与形式逻辑系统进行了概述，随后详细阐述了古典的一阶逻辑体系，包括命题逻辑和狭谓词逻辑。此外，作者还讲解了模态命题逻辑系统T、S4和S5，以及带有量词的模态谓词演算QTB、QSB、QT、QS4和QS5等。除了模态逻辑的公理系统，书中还涉及了模态逻辑的自然推导系统。最后，作者回顾了从古希腊亚里士多德时代至今模态逻辑的发展历程，帮助读者全面理解模态逻辑的历史演变。