模态逻辑是逻辑学中的一个重要分支学科，是一种特殊的逻辑智慧。本书介绍了模态逻辑发展的概况以及传统模态逻辑的基本内容，区分了客观模态与主观模态、逻辑模态与非逻辑模态、从物模态与从言模态、狭义模态与广义模态，特别是详细介绍了真势模态的可能世界语义学理论、命题种类及推理有效式；同时也介绍了规范逻辑（道义逻辑）和时态逻辑以及模态命题逻辑演算的基本理论。本书的最大特点是通俗化，运用大量事例来讲解难懂的模态逻辑。
| 出版社 | 机械工业出版社 |
|---|---|
| 作者 | 王震宇等著 |