| 中文摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-12页 |
| 引言 | 第12-15页 |
| 第一章 防策略投票概述 | 第15-27页 |
| 第一节 防策略投票的历史综述 | 第15-23页 |
| ·对防策略投票的关注 | 第15-17页 |
| ·防策略投票的萌芽及初步形成阶段 | 第17-19页 |
| ·防策略投票的正式提出及深入发展阶段 | 第19-23页 |
| 第二节 防策略投票方法研究概况 | 第23-27页 |
| 第二章 G-S防策略投票不可能性定理的证明 | 第27-56页 |
| 第一节 G-S防策略投票不可能性定理 | 第28-41页 |
| ·符号与定义 | 第28-30页 |
| ·线性投票下的G-S防策略投票不可能性定理 | 第30-36页 |
| ·非线性投票下的G-S防策略投票不可能性定理 | 第36-37页 |
| ·一些结论 | 第37-41页 |
| 第二节 G-S防策略投票不可能性定理的Saari方法证明 | 第41-50页 |
| ·预备知识 | 第41-43页 |
| ·Saari方法 | 第43-44页 |
| ·G-S防策略投票不可能性定理的Saari方法证明 | 第44-49页 |
| ·其他相关属性 | 第49-50页 |
| 第三节 G-S防策略投票不可能性定理的归纳法证明 | 第50-55页 |
| ·归纳法记号 | 第50-51页 |
| ·G-S防策略投票不可能性定理的归纳法证明 | 第51-54页 |
| ·计算机辅助证明 | 第54-55页 |
| 第四节 G-S防策略投票不可能性定理证明的反思 | 第55-56页 |
| 第三章 G-S防策略投票不可能性定理的逻辑刻画 | 第56-72页 |
| 第一节 基本概念 | 第56-57页 |
| 第二节 模态逻辑S5~m | 第57-59页 |
| 第三节 投票逻辑(VL) | 第59-61页 |
| 第四节 G-S防策略投票不可能性定理相关性质的表达 | 第61-63页 |
| 第五节 VL的不可判定性 | 第63-67页 |
| ·公式翻译 | 第64页 |
| ·模型翻译 | 第64-67页 |
| 第六节 可判定性特例 | 第67-72页 |
| ·公式翻译 | 第67-68页 |
| ·模型翻译 | 第68-72页 |
| 第四章 基于社会选择函数逻辑的防策略投票理论 | 第72-97页 |
| 第一节 预备知识 | 第72-79页 |
| 第二节 命题控制联盟逻辑(CL-PC) | 第79-84页 |
| ·CL-PC的语言及语义 | 第80-82页 |
| ·CL-PC的演绎系统 | 第82-84页 |
| 第三节 社会选择函数逻辑(SCFL) | 第84-89页 |
| ·SCFL的语言及语义 | 第84-86页 |
| ·SCFL的公理及推理规则 | 第86-89页 |
| 第四节 防策略投票相关性质的表达 | 第89-95页 |
| 第五节 结论和进一步的研究 | 第95-97页 |
| 第五章 基于多主体策略逻辑的防策略投票理论 | 第97-120页 |
| 第一节 多主体联盟策略博弈模型 | 第97-100页 |
| 第二节 投票博弈 | 第100-104页 |
| ·投票作为多主体策略博弈 | 第100-101页 |
| ·投票博弈中的群体行动 | 第101-104页 |
| 第三节 多主体策略逻辑(MASL) | 第104-114页 |
| ·MASL的语言和语义 | 第104-107页 |
| ·MASL的演算 | 第107-109页 |
| ·防策略投票相关性质的表达 | 第109-112页 |
| ·MASL与联盟逻辑(CL)的联系 | 第112-114页 |
| 第四节 MASL的认知扩张--EMASL | 第114-120页 |
| ·EMASL的语法和语义 | 第114-118页 |
| ·EMASL的演算 | 第118页 |
| ·相关性质的表达 | 第118-120页 |
| 参考文献 | 第120-127页 |
| 致谢 | 第127-128页 |
| 个人简历 在学期间发表的学术论文和研究成果 | 第128页 |
