引言 1
第一章 防策略投票理论概述 6
第一节 防策略投票理论的历史综述 6
一 对防策略投票理论的关注 7
二 防策略投票理论的萌芽及初步形成阶段 9
三 防策略投票理论的正式提出及深入发展阶段 13
第二节 防策略投票方法研究概况 19
第二章 Gibbard-Satterthwaite防策略投票不可能性定理的证明 26
第一节 Gibbard-Satterthwaite防策略投票不可能性定理 27
一 符号与定义 28
二 线性投票下的Gibbard-Satterthwaite防策略投票不可能性定理 30
三 非线性投票下的Gibbard-Satterthwaite防策略投票不可能性定理 39
四 一些结论 40
第二节 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明 45
一 预备知识 45
二 Saari方法 47
三 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明 49
四 其他相关属性 55
第三节 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明 56
一 归纳法记号 56
二 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明 57
三 计算机辅助证明 62
第四节 Gibbard-Satterthwaite防策略投票不可能性定理证明的反思 63
第三章 Gibbard-Satterthwaite防策略投票不可能性定理的逻辑刻画 65
第一节 基本概念 66
第二节 模态逻辑S5 67
第三节 投票逻辑（VL） 69
第四节 Gibbard-Satterthwaite防策略投票不可能性定理相关属性的逻辑刻画 72
第五节 VL的不可判定性 75
一 公式翻译 76
二 模型翻译 76
第六节 可判定性特例 80
一 公式翻译 81
二 模型翻译 82
第四章 基于社会选择函数逻辑的防策略投票理论 86
第一节 预备知识 87
第二节 命题控制联盟逻辑（CL-PC） 95
一 CL-PC的语言及语义 96
二 CL-PC的演绎系统 99
第三节 社会选择函数逻辑（SCFL） 101
一 SCFL的语言及语义 101
二 SCFL的公理及推理规则 103
第四节 防策略投票相关性质的表达 107
一 投票 107
二 社会选择函数SCF的刻画 108
三 真实偏好 110
四 非独裁 111
五 占优策略均衡 112
六 单调性 113
七 防策略 114
第五节 结论和进一步的研究 116
第五章 基于多主体策略逻辑的防策略投票理论 118
第一节 多主体联盟策略博弈模型 118
第二节 投票博弈 122
一 投票作为多主体策略博弈 122
二 投票博弈中的群体行动 124
第三节 多主体策略逻辑（MASL） 127
一 MASL的语言和语义 127
二 MASL的演算 132
三 防策略投票相关性质的表达 133
四 MASL与联盟逻辑（CL）的联系 138
第四节 MASL的认知扩张——EMASL 141
一 EMASL的语法和语义 141
二 EMASL的演算 144
三 相关性质的表达 145
第五节 结论和进一步的研究 147
附录 151
防操纵社会选择机制逻辑研究述评 153
吉伯德-萨特思韦特防策略不可能性定理的逻辑初探 161
投票理论阐释的新视角 172
参考文献 186
后记 193