| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 文献综述 | 第6-9页 |
| 第1章 动态认知逻辑与认知时态逻辑 | 第9-16页 |
| 1.1 认知逻辑 | 第9-10页 |
| 1.2 动态认知逻辑 | 第10-13页 |
| 1.3 认知时态逻辑 | 第13-16页 |
| 第2章 融合DEL和ETL | 第16-26页 |
| 2.1 协议 | 第16-17页 |
| 2.2 DEL生成的ETL模型 | 第17-20页 |
| 2.3 PAL生成的ETL模型 | 第20-21页 |
| 2.4 比较DEL和ETL | 第21-25页 |
| 小结 | 第25-26页 |
| 第3章 时态公开宣告逻辑 | 第26-31页 |
| 3.1 时态公开宣告逻辑 | 第26页 |
| 3.2 比较PAL和TPAL | 第26-27页 |
| 3.3 TPAL的完全性 | 第27-31页 |
| 第4章 TPAL与逻辑全知问题 | 第31-36页 |
| 4.1 逻辑全知问题 | 第31-32页 |
| 4.2 显性知识的形式化 | 第32-33页 |
| 4.3 显性知识的动态刻画 | 第33-34页 |
| 4.4 避免逻辑全知问题 | 第34-36页 |
| 总结 | 第36-37页 |
| 参考文献 | 第37-39页 |
| 致谢 | 第39页 |