第一章 模态逻辑概述

1.1 模态逻辑

模态

E3+□？和E

模态命题和命题的模态形式

1.2 传统模态逻辑和现代模态逻辑

1.3 现代模态逻辑的内容与特点

习题

第二章 预备知识

2.1 逻辑学、逻辑和逻辑研究

2.2 逻辑和形式系统

2.3 古典命题逻辑，形式语言？P和古典命题演算P

古典命题逻辑和形式语言？P

？P的语义解释P－赋值和P－有效性

古典命题演算P

常用P－定理与导出规则

2.4 一阶逻辑形式语言？Q和一阶演算Q

一阶逻辑和一阶语言？Q

？Q－模型与？Q－模型类有效性

一阶演算Q

习题

3.1 模态命题逻辑

关于命题的模态形式与模态函项

第三章 模态命题演算

必然性与可能性

模态命题逻辑的一些直观原则

3.2 形式语言？PM

3.3 系统K

K与正规系统

K的定理与导出规则

3.4 系统D和T

系统D和T的基础

D的定理和导出规则

T的定理

S4定理和导出规则

S4和S5

3.5 系统S4，S5和系统B

S5定理

系统B

？PM的模态词

3.6 模态词与叠置模态词的归约

模态词的等价性

叠置模态词的归约

模态词的等价性与模态系统

3.7 K，D，T，S4，S5和B的一致性

3.8 系统Tr及模态系统的坍塌

一致性原则与模态系统

系统Tr

模态系统的坍塌

习题

第四章 可能世界语义学

4.1 可能世界语义学的基本思想

解释图和叠置模态词的语义分析

4.2 特征公理的语义分析

特征公理的语义分析

4.3 框架、模型和有效性

4.4 模态公式与一阶公式的对应

4.5 S－框架与φ-框架可靠性

4.6 反模型方法及其一些结果

习题

第五章 典范模型和完全性证明

5.1 完全性与完全性证明

完全性概念

完全性证明

5.2 完全性的Henkin证明

极大一致集

Henkin证明的基本思想

P－完全性的Henkin证明

5.3 典范模型与模型完全性

5.4 典范系统

习题

第六章 模态逻辑的各类系统

6.1 严格蕴涵系统S1—S5形式语言？PM

系统S1—S5

6.2 S1—S5的定理和语法性质

S1－定理和导出规则

S1的一些语法性质

S2－定理和导出规则

S3－定理与S3的语法性质

S4－定理与S4的语法性质

S5－定理

6.3 逻辑可推出性、逻辑必然性与刻画系统

6.4 模态系统P1—P5

P1—P5的基础

P1－定理

P2－定理与导出规则

P1—P5之间的关系

P1—P5与S1—S5的等价性

6.5 非正则系统S6，S7和S8

6.6 E－系统

E－系统E1—E5

E2的扩张

E3的扩张

E－必然性

习题

第七章 非正规系统的语义解释

7.1 非正规系统的直观语义分析

必然化规则与非正规世界

关于非正规世界的可及关系

赋值

有效性的取值范围

直观的框架和模型

7.2 形式语义框架、模型和有效性

E2和E3－框架

7.3 E2，E3，S2和S3－框架

E2+□？－框架

+□？2－框架

7.4 S6，S7和S8－框架

7.5 S0.5 －框架

7.6 统一解释（框架和有效性）

习题

第八章 模态谓词逻辑

8.1 模态谓词逻辑概述

8.2 形式语言？QM及其语义分析

语言？QM

？QM的语义分析

8.3 ？QM的形式语义框架、模型与有效性

框架与模型

有效性

φI－有效性

8.4 模态谓词演算QS+Bf

8.5 Henkin集和Q－完全性

8.6 QS+Bf的模型完全性和框架完全性

QS+Bf语义中的Henkin集

从属Henkin集的存在性

QS+Bf－典范模型及模型完全性

QS+Bf的框架完全性

8.7 模态词和量词

Barcan公式及其逆公式有效的语义条件

模态谓词演算QS

模态谓词演算Q°S

8.8 模态词和等词

附注

习题

参考文献

术语索引

符号索引