模态逻辑（南开哲学教材系列）

基本信息

在非经典逻辑中，模态逻辑是发展最成熟的一个分支，也是许多非经典逻辑的基础。近几年来，我和我的学生们一起读了以下的模态逻辑书籍：

1. Sally Pojkorn.First steps in Modal Logic. Cambridge University Press, 1994.

2. G.E. Hughes & M. J. Cresswell. A New Introduction To Modal Logic. Routledge, 1996．

3. Patrick Blackburn&Maarten de Rijke.Modal Logic. Cambridge University Press, 2001.

4. Johan van Benthem.Modal Logic.CSLI PUBLICATIONS, 2010.

不过，我感觉Sally Pojkorn那本模态逻辑最简洁。所以，在本书的编写过程中，我主要参考了Sally Pojkorn的模态逻辑的Ⅰ-Ⅳ和Ⅴ-Ⅵ的部分内容。严格地说，本书介绍以经典的命题逻辑为基础的模态命题逻辑。

本书的三个重要特征：

1. 简明扼要。

2. 在单模态语言的基础上，引入和使用多模态语言。

3. 介绍了一些模态逻辑中目前比较流行的概念和方法，如：加标转移结构、互模拟等。