本书分为上下两篇。上篇从认知逻辑出发，主要考察以知识为载体的信息变化规律。具体涉及的内容有多主体认知逻辑、动态逻辑、动态认知逻辑以及一类程序性知识的哲学逻辑描述（知道行动的一种表述）。下篇主要从以信念为载体的信息变化出发，具体涉及的内容有经典信念修正理论、有穷依赖网络理论、逻辑博弈、博弈逻辑、联盟逻辑以及社会软件中的逻辑。
更多科学出版社服务，请扫码获取。
目录
本书写作分工/i
序（鞠实儿）/iii
上篇 逻辑、认知与信息流动
篇首语 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
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
书单推荐
