| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章：自省主体信念表达和信念修正理论的背景介绍 | 第8-22页 |
| ·认知（信念）逻辑 | 第8页 |
| ·非单调逻辑 | 第8-9页 |
| ·动态认知转向 | 第9-10页 |
| ·信念主体的分类 | 第10-11页 |
| ·饱和信念与稳定集 | 第11-16页 |
| ·考察信念修正的不同向度 | 第16-20页 |
| ·论文结构 | 第20-22页 |
| 第二章：修正稳定集的难点和关键点 | 第22-32页 |
| ·传统AGM 公设修正稳定集可能出现的问题 | 第22-23页 |
| ·修正稳定集的可能方法及其局限性 | 第23-26页 |
| ·修正稳定集的典范模型 | 第26-32页 |
| 第三章 采用极大S5 非蕴涵集和分层自认知逻辑修正稳定集 | 第32-52页 |
| ·稳定集到稳定集的修正公设 | 第32-34页 |
| ·极大S5 非蕴涵集的主要性质 | 第34-38页 |
| ·稳定集到中间理论的收缩公设 | 第38-45页 |
| ·稳定集到中间理论的基本修正公设 | 第45-48页 |
| ·扩张中间理论获得稳定集 | 第48-52页 |
| 第四章：球包系统和认知牢固关系 | 第52-82页 |
| ·稳定集到中间理论的剧烈撤退函数公设 | 第52-59页 |
| ·球包系统 | 第59-70页 |
| ·认知牢固关系 | 第70-76页 |
| ·选择修正后稳定集 | 第76-82页 |
| 第五章：修正稳定集的动态信念逻辑 | 第82-98页 |
| ·背景介绍及问题提出 | 第82页 |
| ·DDLRS 的语言 | 第82-83页 |
| ·公理系统S_(DDLRS) | 第83-87页 |
| ·DDLRS 的语义 | 第87-90页 |
| ·S_(DDLRS) 的可靠性和完全性 | 第90-97页 |
| ·非决定的 DDLRS（NDDLRS） | 第97-98页 |
| 第六章：通过修正相应的全通模型修正稳定集 | 第98-108页 |
| ·修正全通模型的例子分析 | 第98-101页 |
| ·全通模型的修正原则 | 第101-103页 |
| ·全通模型上的选择函数 | 第103-108页 |
| 第七章： Moore 悖论和不成功修正 | 第108-120页 |
| ·Moore 悖论和相关解决方案 | 第108-111页 |
| ·不成功更新 | 第111-116页 |
| ·二维动态信念逻辑 | 第116-118页 |
| ·非成功修正 | 第118-120页 |
| 第八章：结论和展望 | 第120-122页 |
| 参考文献 | 第122-127页 |
| 攻读博士学位期间的研究成果 | 第127-128页 |
| 致谢 | 第128-130页 |