| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 文献综述 | 第10-16页 |
| 1 绪论 | 第16-20页 |
| 1.1 研究目的和意义 | 第16-19页 |
| 1.2 研究范围和内容 | 第19-20页 |
| 2 极小非正规时态逻辑C2t | 第20-44页 |
| 2.1 C2t的语言和语义 | 第20-21页 |
| 2.2 C2t的希尔伯特式公理系统HC2t | 第21-25页 |
| 2.3 HC2t的完全性 | 第25-28页 |
| 2.4 C2t的加标矢列式系统GC2t | 第28-31页 |
| 2.5 GC2t中结构规则的证明 | 第31-39页 |
| 2.6 GC2t的完全性 | 第39-42页 |
| 2.7 GC2t中的推导的可判定性和证明搜索 | 第42-44页 |
| 3 C2t模型类的时态可定义性 | 第44-64页 |
| 3.1 C2t模型之间的关系 | 第44-48页 |
| 3.2 C2t互模拟 | 第48-50页 |
| 3.3 C2t的时态可定义模型类的封闭性 | 第50-54页 |
| 3.4 C2t的时态饱和模型 | 第54-55页 |
| 3.5 C2t模型的超滤扩张 | 第55-61页 |
| 3.6 C2t的时态可定义模型类的刻画定理 | 第61-64页 |
| 4 C2t语言的标准翻译和有穷模型性 | 第64-70页 |
| 4.1 C2t语言的标准翻译 | 第64-66页 |
| 4.2 C2t语言的有穷模型性 | 第66-70页 |
| 5 C2t的代数语义 | 第70-86页 |
| 5.1 C2t的代数-正则时态代数 | 第71-72页 |
| 5.2 C2t框架的复代数(complex algebra) | 第72-76页 |
| 5.3 C2t的林登博姆-塔斯基代数(Lindenbaum-Tarski Algebra) | 第76-79页 |
| 5.4 C2t的代数完全性 | 第79-80页 |
| 5.5 正则时态代数的表示定理 | 第80-86页 |
| 6 总结和展望 | 第86-87页 |
| 参考文献 | 第87-100页 |
| 致谢 | 第100-102页 |
| 在学期间所发表的文章和参与的项目 | 第102页 |