防策略投票理论的逻辑研究PDF电子书下载

引言 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