| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 文献综述 | 第6-8页 |
| 第1章 经典的信念逻辑 | 第8-13页 |
| ·信念逻辑系统S_(KD45) | 第8-9页 |
| ·信念修正的AGM理论 | 第9-13页 |
| 第2章 信念逻辑系统S_(SBR) | 第13-23页 |
| ·顺序条件函数 | 第13-16页 |
| ·S_(SBR)的证明系统 | 第16-19页 |
| ·S_(SBR)系统完备性的证明 | 第19-23页 |
| 第3章 信念修正逻辑系统S_(DBR) | 第23-29页 |
| ·S_(DBR)的证明系统 | 第23-27页 |
| ·S_(DBR)系统完备性的证明 | 第27-29页 |
| 第4章 总结与展望 | 第29-30页 |
| 参考文献 | 第30-31页 |
| 致谢 | 第31页 |