丛书序

作者序

译者序

前言

上篇 模态逻辑和经典逻辑引言

记号和术语

第一部分 模态命题逻辑的简要概述

1 历史背景

2 可能世界语义

3 可定义性

4 模态代数

5 公理化理论

6 完全性

第二部分 模态公式的一阶可定义性

7 局部的和全局的一阶可定性

8 一阶可定义性的模型论刻画

9 代入方法

10 否证一阶可定义性

11 相对的一阶可定义性

12 模态谓词逻辑

13 模态公式的保持类

第三部分 模态可定义性

14 模态可定义的初等框架类

15 一阶公式的保持结果

16 模态可定义的框架类

第四部分 高阶可定义性

17 全称二阶语句

18 二阶逻辑

19 有穷类型论

参考文献

下篇 模态对应理论新进展

1 极小谓词、不动点和可定义性

2 模态框架对应和不动点

3 事情总要翻过来看!

附录

附录一 约翰·范本特姆小传

附录二 英汉/汉英专业术语、人名对照表

致谢