上篇 逻辑、认知与信息流动

篇首语

1经典认知逻辑

1.1当知识遇上推理

1.2认知逻辑的背景介绍

1.3认知逻辑的语言

1.4认知逻辑的语义

1.5认知逻辑的公理系统

1.6群体性知识的引入

2动态逻辑

2.1动态逻辑的基本思想

2.2命题动态逻辑（PDL）

2.3一阶动态逻辑

2.4动态逻辑的应用

3动态认知逻辑及其应用

3.1历史和背景

3.2典型的动态认知逻辑系统

3.3相关谜题分析

4知道行动逻辑初探

4.1动机和背景

4.2命题动态逻辑简介

4.3一阶认知框架的扩充

4.4关于知道行动的推理

4.5本章小结

下篇 信念、博弈与社会互动

篇首语

5经典信念修正理论及其发展

5.1信念改变研究现状

5.2描述信念改变的AGM理论

5.3基于AGM的一种稳定集修正尝试

6信念修正的有穷依赖网络

6.1有穷依赖网络理论评述

6.2有穷依赖网络与其他信念修正理论的比较研究

6.3信念改变的核心问题讨论

6.4本章小结

7博弈互动中的逻辑

7.1引言：社会互动中的博弈

7.2博弈论

7.3逻辑博弈

7.4博弈逻辑

7.5联盟逻辑及其应用

8社会软件中的逻辑

8.1社会软件概述

8.2基础认知模型及其应用

8.3基于知识的义务

8.4交流图及其逻辑

8.5本章小结

参考文献

英汉专业术语对照表

英汉人名对照表

致谢