第1章 导言 1
第2章 动态信息 13
2.1 信息结构 14
2.2 动态 29
2.3 显性知识和隐性知识 33
2.4 自然语言中的动态逻辑 42
2.5 问题的动态认知逻辑 51
第3章 认知动态和协议信息 64
3.1 组合框架 64
3.2 时间公开宣告逻辑 87
3.3 时间公开宣告逻辑的扩充 114
第4章 知识和博弈 144
4.1 公共知识安保 144
4.2 互动结构中的知识 163
4.3 互动结构中的策略 173
4.4 计算机博弈中的认知推理 190
4.5 结盟：一般的方法 199
4.6 混合拍卖中的时间限制 216
4.7 展望 231
第5章 动态认知概率逻辑 234
5.1 概率逻辑及其语义解释 236
5.2 认知概率逻辑 268
5.3 内涵概率和统计概率 286
5.4 动态认知概率逻辑 299
5.5 组合模态逻辑及动态认知概率逻辑的扩充 325
第6章 认知悖论及其哲学分析 347
6.1 逻辑在知识推理中的作用 347
6.2 知识悖论 355
6.3 全知和演绎封闭 371
6.4 蒙提霍尔疑难的认知分析 390
6.5 结论 404
参考文献 408