图书介绍
防策略投票理论的逻辑研究pdf电子书版本下载
- 孙雯著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：9787520324243
- 出版时间：2018
- 标注页数：194页
- 文件大小：16MB
- 文件页数：203页
- 主题词：社会选择－逻辑－研究
PDF下载
下载说明
防策略投票理论的逻辑研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
引言 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