1 认知逻辑的基础理论 1
1.1 基本的模态逻辑系统 1
1.1.1 基本模态语言？□ 1
1.1.2 基本模态语言的解释——框架与模型 3
1.1.3 正规模态逻辑 6
1.2 单主体的认知模态逻辑PK与PB 12
1.2.1 单主体的认知模态语言？KB 12
1.2.2 认知逻辑系统PK和PB 16
1.2.3 PK与PB系统的可靠性和完全性 18
1.3 多主体的认知逻辑初步 24
1.3.1 由单主体系统向多主体系统的扩展 24
1.3.2 普遍知识、公共知识与分布式知识 26
1.3.3 举例——泥孩难题 28
2 时态认知逻辑 30
2.1 时态逻辑 31
2.1.1 基本时态命题逻辑 31
2.1.2 S,U时态命题逻辑系统 34
2.2 时态化逻辑系统的方法 38
2.2.1 时态化任意一个正规逻辑系统 38
2.2.2 T（L）的完全性 40
2.2.3 T（L）的可判定性 44
2.3 时态认知逻辑系统Kt（S5） 45
3 群体知识和多主体认知逻辑 49
3.1 多主体认知逻辑概述 50
3.2 分布式知识 54
3.2.1 分布式知识概念的提出 54
3.2.2 联合知识与隐含知识——分布式知识的形式化分析 56
3.2.3 完全交流原则与完全交流模型 59
3.2.4 互模拟和群体知识 62
3.3 带有群体知识的多主体认知逻辑S5B m（RC,D,E） 65
3.3.1 相对化公共知识 65
3.3.2 语言和语义 66
3.3.3 公理系统 67
3.3.4 完全性证明 70
4 动态认知逻辑的基础系统——公开宣告逻辑 77
4.1 公开宣告与逻辑模型 79
4.1.1 从过程看推理 79
4.1.2 公开宣告和信息流动 80
4.1.3 公开宣告和模型变化 82
4.2 公开宣告逻辑PAL 85
4.2.1 语言和语义 85
4.2.2 公理系统 90
4.2.3 完全性证明 91
4.2.4 关于公开宣告逻辑PAL 92
4.3 带有群体知识的公开宣告逻辑PAL（RC,D,E） 93
4.3.1 语言和语义 93
4.3.2 公理系统 96
4.3.3 完全性证明 97
4.4 应用分析 101
4.4.1 泥孩难题再分析 101
4.4.2 和积之谜 103
4.4.3 意外考试难题 105
5 博弈逻辑 109
5.1 逻辑与博弈 109
5.1.1 博弈论的基本概念 109
5.1.2 逻辑与博弈的关系 115
5.2 带有偏好的博弈逻辑 119
5.2.1 形式定义 120
5.2.2 语形与语义 122
5.2.3 公理系统及其可靠性 124
5.3 扩展式博弈逻辑 127
5.3.1 具有完美信息的扩展式博弈 128
5.3.2 扩展式博弈逻辑系统 133
5.3.3 纳什均衡的PDL刻画 141
5.4 公开宣告逻辑在博弈中的应用 145
5.4.1 重复剔除的占优均衡 145
5.4.2 重复剔除严格劣策略算法的逻辑刻画 148
6 信念修正的动态逻辑 156
6.1 经典的信念逻辑 157
6.1.1 信念逻辑系统SKD45 157
6.1.2 信念修正的AGM理论 159
6.2 静态的信念修正逻辑系统SSBR 161
6.2.1 顺序条件函数 162
6.2.2 系统SSBR的语言及语义 166
6.2.3 系统SSBR的证明系统 167
6.2.4 SSBR系统的可靠性和完全性 169
6.3 动态的信念修正逻辑系统SDBR 172
6.3.1 更新模型 172
6.3.2 SDBR的系统 175
6.3.3 SDBR系统完全性的证明 177
6.3.4 与AGM理论作比较 178
7 非逻辑全知主体的逻辑 180
7.1 逻辑全知问题概述 180
7.1.1 逻辑全知的不同表现形式 180
7.1.2 逻辑全知问题的解决途径 181
7.2 非标准语义结构 183
7.3 不可能世界模型 185
7.3.1 不可能世界 185
7.3.2 Lévesque的隐性和显性信念逻辑 187
7.4 觉知逻辑 190
7.5 Montague-Scott邻域语义 192
7.5.1 Montague-Scott语义模型 192
7.5.2 局部推理模型 194
7.6 动态认知的方法 195
8 非单调逻辑和缺省逻辑 200
8.1 知识与常识 200
8.2 推理的单调性与非单调性 202
8.3 非单调逻辑 205
8.3.1 非单调逻辑及其研究方法 205
8.3.2 非单调逻辑的元理论性质 209
8.4 常识与缺省规则 210
8.5 缺省逻辑的语形 214
8.6 缺省理论及其扩张 218
8.6.1 缺省理论扩张的定义 218
8.6.2 缺省理论扩张的性质 225
8.7 缺省逻辑的语义 228
8.8 对缺省逻辑的进一步认识 230
参考文献 233
附录 命题逻辑与一阶谓词逻辑 242
附录1 命题语言？P与一阶谓词语言？Q 242
附录2 语义理论 244
附录3 一阶逻辑演算系统Q 246