模态逻辑是非经典逻辑中发展最成熟、成果最丰富的一个分支。《模态逻辑（第二版）》是在2015年由南开大学出版社出版的《模态逻辑》的基础上修订完成的。本教材在单模态语言的基础上，引入和使用了多模态语言，介绍了一些模态逻辑中目前比较新的、流行的概念和方法，如：加标转移结构、互模拟等，有助于学生了解模态逻辑发展的前沿、学习模态逻辑的最新知识、掌握模态逻辑最新的概念和方法。本书适合逻辑学专业教师和学生阅读参考