南开哲学教材系列：模态逻辑
图书信息
书名：南开哲学教材系列：模态逻辑作者：李娜
包装：平装
开本：32
页数：253页
全文字数：236000
出版社：南开大学出版社
出版时间：2015-4-15
图书简介
南开哲学教材系列：模态逻辑是一本介绍模态命题逻辑的入门书籍。本书从经典命题逻辑出发，引入多种模态逻辑语言，以循序渐进的方式深入浅出地介绍基本概念和方法。本书包含十六章内容，分别从命题逻辑概述开始，逐步深入涉及基本模态语言、多模态语言、加标转移结构、赋值和可满足、汇合结果、完全性、形式系统等。在讲解的过程中，不仅引用了大量的例子和证明，还结合了现实中的一些问题，具有很高的实用性。此外，本书还介绍了互模拟等一些模态逻辑中目前比较流行的概念和方法，内容涵盖面很广。本书非常适合哲学和逻辑学专业的学生、哲学爱好者以及任何对模态逻辑有兴趣的读者。
推荐理由
南开哲学教材系列：模态逻辑是一本深入浅出、简明扼要的模态命题逻辑入门书籍，覆盖了模态命题逻辑的基本概念、方法、理论和实践应用。本书适合哲学、逻辑学专业学生和任何对模态逻辑领域有兴趣的读者。本书从入门到深入，通过可读性强、言简意赅的文字和大量的例子和证明，能够帮助读者理解和掌握模态逻辑的核心思想和方法，对于提高读者的思维逻辑能力、哲学素养、论证能力等方面都有积极的促进作用。
