防策略投票理论的逻辑研究

引言 **章 防策略投票理论概述 **节 防策略投票理论的历史综述 一 对防策略投票理论的关注 二 防策略投票理论的萌芽及初步形成阶段 三 防策略投票理论的正式提出及深入发展阶段 第二节 防策略投票方法研究概况 第二章 Gibbard—Satterthwaite防策略投票不可能性定理的证明 **节 Gibbard—Sattenhwaite防策略投票不可能性定理 一 符号与定义 二 线性投票下的Gibbard—Satterthwaite防策略投票不可能性定理 三 非线性投票下的Gibbard—Satterthwaite防策略投票不可能性定理 四 一些结论 第二节 Gibbard—Satterthwaite防策略投票不可能性定理的Saari方法证明 一 预备知识 二 Saari方法 三 Gibbard—Satterthwaite．防策略投票不可能性定理的Saari方法证明 四 其他相关属性 第三节 Gibbard—Sattenhwaite防策略投票不可能性定理的归纳法证明 一 归纳法记号 二 Cibbard—SatteIthwaite防策略投票不可能性定理的归纳法证明 三 计算机辅助证明 第四节 Gibbard—Satterthwaite防策略投票不可能性定理证明的反思 第三章 Gibbard—Satterthwaite防策略投票不可能性定理的逻辑刻画 **节 基本概念 第二节 模态逻辑S5m 第三节 投票逻辑（VL） 第四节 Gibbard—Satterthwaite防策略投票不可能性定理相关属性的逻辑刻画 第五节 VL的不可判定性 一 公式翻译 二 模型翻译 第六节 可判定性特例 一 公式翻译 二 模型翻译 第四章 基于社会选择函数逻辑的防策略投票理论 **节 预备知识 第二节 命题控制联盟逻辑（CL—PC） 一 CL—PC的语言及语义 二 CL—PC的演绎系统 第三节 社会选择函数逻辑（SCFL） 一 SCFL的语言及语义 二 SCFL的公理及推理规则 第四节 防策略投票相关性质的表达 一 投票 二 社会选择函数SCF的刻画 三 真实偏好 四 非独裁 五 占优策略均衡 六 单调性 七 防策略 第五节 结论和进一步的研究 第五章 基于多主体策略逻辑的防策略投票理论 **节 多主体联盟策略博弈模型 第二节 投票博弈 一 投票作为多主体策略博弈 二 投票博弈中的群体行动 第三节 多主体策略逻辑（MAsL） 一 MASL的语言和语义 二 MASL的演算 三 防策略投票相关性质的表达 四 MASL与联盟逻辑（CL）的联系 第四节 MASL的认知扩张——EMASL 一 EMASL的语法和语义 二 EMASL的演算 三 相关性质的表达 第五节 结论和进一步的研究 附录 防操纵社会选择机制逻辑研究述评 吉伯德一萨特思韦特防策略不可能性定理的逻辑初探 投票理论阐释的新视角 参考文献 后记