| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 引言 | 第6-9页 |
| 第1章 时态逻辑和混合时态逻辑简介 | 第9-13页 |
| 1.1 时态逻辑 | 第9-10页 |
| 1.2 混合时态逻辑逻辑 | 第10-13页 |
| 第2章 Prior式“现在”混合时态逻辑 | 第13-18页 |
| 2.1 Prior关于“现在”的分析 | 第13-15页 |
| 2.2 Prior式“现在”的混合时态逻辑 | 第15-18页 |
| 第3章 Blackburn式“现在”混合时态逻辑 | 第18-23页 |
| 3.1 “现在”混合时态逻辑语言及语义 | 第18-20页 |
| 3.2 逻辑有效和语境有效的关联 | 第20-23页 |
| 第4章 “现在”算子的冗余问题 | 第23-37页 |
| 4.1 自然语言中的“现在”时态句子 | 第23-25页 |
| 4.2 “现在”算子在时态命题逻辑的冗余问题 | 第25-36页 |
| 4.3 带“现在”算子的时态逻辑公理系统 | 第36-37页 |
| 结论 | 第37-38页 |
| 参考文献 | 第38-39页 |
| 致谢 | 第39-40页 |
| 发表论文 | 第40页 |