动态信息的信念修正逻辑研究

第一章 概述
第二章 保真性推理和观察的逻辑
第一节 模态保真性推理
第二节 隐性信息和显性信息
第三节 保真性推理
第四节 观察的逻辑
第三章 觉知逻辑
第一节 觉知逻辑
第二节 显性信息
第三节 觉知模型运算
第四节 动态行为
第五节 动态逻辑的完全性
第六节 多主体的觉知逻辑
第四章 觉知、隐性知识和显性知识
第一节 觉知、隐性信息和显性信息
第二节 静态信息模型
第三节 动态信息模型
第五章 传统的信念逻辑
第一节 经典的信念逻辑
第二节 信念逻辑系统
第三节 动态信念修正逻辑系统
第四节 信念修正逻辑系统的扩充
第六章 动态的信念变化逻辑
第一节 理性主体和信念变化
第二节 智能主体间的互动
第三节 信念逻辑
第四节 理性主体模型
第五节 互动的认识论
第六节 信念变化逻辑
第七节 语言的表达力
第七章 刻画信念变化的逻辑
第一节 信念修正的AGM理论
第二节 格鲁夫球
第三节 动态信念逻辑
第四节 公开宣告逻辑
第五节 弱动态认知逻辑
第六节 条件信念逻辑
第七节 证据逻辑
第八章 多主体的信念变化逻辑
第一节 基础理论
第二节 信念变化的动态逻辑
第三节 信念时态模型
第四节 优先更新的框架性
第五节 表示定理
第六节 前序的扩充
第七节 扩充和定理
第九章 总或然模型中的信念收缩
第一节 信念收缩
第二节 严格取消
第三节 保守收缩
第四节 适度收缩
第十章 辩护模型
第一节 辩护模型
第二节 辩护模型类
第三节 动态的辩护模型
第四节 语言和公理系统
第五节 辩护信念
第十一章 动态信念逻辑
第一节 动态信念逻辑修正
第二节 动态信念逻辑和条件信念逻辑
第三节 全动态信念逻辑的扩张和收缩
第十二章 会话语境的信念修正逻辑
第一节 分支一时问信念修正逻辑
第二节 会话逻辑
第三节 博南诺的信念逻辑
第四节 可靠性和完全性
第十三章 动态的隐性信念和显性信念
第一节 刻画信念的方法
第二节 非全能信念
第三节 信念修正
第四节 信念推理
第十四章 合并模型的语言和逻辑
第一节 认知信念语言
第二节 动态信念语言
第三节 认知时态信念语言
第四节 信念修正的公理系统
第十五章 知识和信念的哲学反思
第一节 确证的真信念
第二节 可废止知识的博弈语义
第十六章 回顾与展望
第一节 内容回顾
第二节 工作展望
参考文献