| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 文献综述 | 第6-8页 |
| 第1章 公开宣告逻辑 PAL 和认知时态逻辑 ETL | 第8-12页 |
| ·公开宣告逻辑 PAL | 第8-9页 |
| ·认知时态逻辑 ETL | 第9-12页 |
| 第2章 PAL 生成 ETL-模型 | 第12-19页 |
| ·PAL 生成 ETL-模型 | 第12-16页 |
| ·PAL 与 ETL 之间的关系 | 第16-19页 |
| 第3章 时态公开宣告逻辑 TPAL | 第19-29页 |
| ·TPAL 的证明系统 | 第19-22页 |
| ·TPAL 的完全性证明 | 第22-26页 |
| ·TPAL 与 PAL 之间的关系 | 第26-29页 |
| 第4章 总结与展望 | 第29-30页 |
| 参考文献 | 第30-32页 |
| 致谢 | 第32页 |