| 引言 | 第1-9页 |
| 第一章 命题逻辑框架下任务逻辑的语义理论 | 第9-17页 |
| 1 什么是任务逻辑 | 第9-10页 |
| 2 预备知识 | 第10-14页 |
| 3 命题逻辑框架下任务逻辑的语义理论 | 第14-17页 |
| 第二章 命题逻辑框架下任务逻辑的语构理论 | 第17-21页 |
| 1 形式系统L | 第17页 |
| 2 可靠性定理及完备性定理 | 第17-20页 |
| 3 形式系统L的可判定性 | 第20-21页 |
| 第三章 形式系统L中的定理 | 第21-28页 |
| 1 模仿策略 | 第21-22页 |
| 2 L中的定理 | 第22-28页 |
| 第四章 谓词逻辑框架下任务逻辑的语义和语构理论 | 第28-39页 |
| 1 预备知识 | 第28-29页 |
| 2 谓词任务逻辑的语义理论 | 第29-30页 |
| 3 谓词任务逻辑的语构理论 | 第30-37页 |
| 4 形式系统L′及其可判定性 | 第37-39页 |
| 总结 | 第39-40页 |
| 参考文献 | 第40-42页 |
| 致谢 | 第42-43页 |
| 攻读学位期间的研究成果 | 第43页 |