防策略投票理论的逻辑研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

防策略投票理论的逻辑研究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

第二节 模态逻辑S567

第三节 投票逻辑（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的认知扩张——EMASL141

一 EMASL的语法和语义141

二 EMASL的演算144

三 相关性质的表达145

第五节 结论和进一步的研究147

附录151

防操纵社会选择机制逻辑研究述评153

吉伯德-萨特思韦特防策略不可能性定理的逻辑初探161

投票理论阐释的新视角172

参考文献186

后记193