上篇 逻辑、认知与信息流动 3
篇首语 3
1经典认知逻辑 5
1.1当知识遇上推理 5
1.2认知逻辑的背景介绍 8
1.3认知逻辑的语言 9
1.4认知逻辑的语义 9
1.5认知逻辑的公理系统 10
1.6群体性知识的引入 11
2动态逻辑 13
2.1动态逻辑的基本思想 13
2.2命题动态逻辑（PDL） 14
2.3一阶动态逻辑 16
2.4动态逻辑的应用 23
3动态认知逻辑及其应用 25
3.1历史和背景 25
3.2典型的动态认知逻辑系统 26
3.3相关谜题分析 32
4知道行动逻辑初探 59
4.1动机和背景 59
4.2命题动态逻辑简介 64
4.3一阶认知框架的扩充 65
4.4关于知道行动的推理 70
4.5本章小结 77
下篇 信念、博弈与社会互动 83
篇首语 83
5经典信念修正理论及其发展 85
5.1信念改变研究现状 85
5.2描述信念改变的AGM理论 87
5.3基于AGM的一种稳定集修正尝试 89
6信念修正的有穷依赖网络 99
6.1有穷依赖网络理论评述 100
6.2有穷依赖网络与其他信念修正理论的比较研究 122
6.3信念改变的核心问题讨论 129
6.4本章小结 138
7博弈互动中的逻辑 139
7.1引言：社会互动中的博弈 139
7.2博弈论 139
7.3逻辑博弈 145
7.4博弈逻辑 148
7.5联盟逻辑及其应用 154
8社会软件中的逻辑 163
8.1社会软件概述 163
8.2基础认知模型及其应用 169
8.3基于知识的义务 174
8.4交流图及其逻辑 187
8.5本章小结 194
参考文献 197
英汉专业术语对照表 202
英汉人名对照表 212
致谢 214