| 中文摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 文献综述 | 第6-7页 |
| 第1章 序言 | 第7-9页 |
| ·公开宣告逻辑的研究现状 | 第7-8页 |
| ·论文的整体框架和主要内容 | 第8-9页 |
| 第2章 世界信息变化和群体知识 | 第9-12页 |
| ·世界信息变化 | 第9-10页 |
| ·群体知识 | 第10-11页 |
| ·世界信息变化对群体知识的影响 | 第11-12页 |
| 第3章 公开更新逻辑系统PUL | 第12-18页 |
| ·直观背景分析 | 第12-13页 |
| ·在公开更新逻辑语言(?)PUL中分析泥孩儿问题 | 第13-18页 |
| 第4章 PUL的证明系统 | 第18-28页 |
| ·PUL的证明系统PUL | 第18-21页 |
| ·完全性证明 | 第21-28页 |
| 第5章 总结 | 第28-30页 |
| 参考文献 | 第30-31页 |
| 致谢 | 第31页 |