声明
摘要
第一章 引言
1.1 研究背景
1.2 研究意义
1.3 本文的组织结构
第二章 可计算性逻辑概述
2.1 博弈语义
2.2 基本逻辑运算
2.2.1 否定(Negation)
2.2.2 选择运算(Choice operations)
2.2.3 并行运算(Parallel operations)
2.2.4 归约(Reduction)
2.3 静态博弈
2.4 HPM与EPM
第三章 CL2逻辑
3.1 CL2的语法
3.2 CL2的语构
3.3 CL2的几个引理
第四章 CL2的复杂性分析
4.1 PSPACE类
4.2 TQBF问题
4.3 CL2的可判定性
4.4 CL2是PSPACE完全的
第五章 总结
5.1 完成的工作
5.2 未来的计划
参考文献
致谢