内容简介
作者简介
目录
目录
第一章 防策略投票理论概述
第一节 防策略投票理论的历史综述
一 对防策略投票理论的关注
二 防策略投票理论的萌芽及初步形成阶段
三 防策略投票理论的正式提出及深入发展阶段
第二节 防策略投票方法研究概况
第二章 Gibbard-Satterthwaite防策略投票不可能性定理的证明
第一节 Gibbard-Satterthwaite防策略投票不可能性定理
一 符号与定义
二 线性投票下的Gibbard-Satterthwaite防策略投票不可能性定理
三 非线性投票下的Gibbard-Satterthwaite防策略投票不可能性定理
四 一些结论
第二节 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明
一 预备知识
二 Saari方法
三 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明
四 其他相关属性
第三节 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明
一 归纳法记号
二 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明
三 计算机辅助证明
第四节 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的演算
三 相关性质的表达
第五节 结论和进一步的研究
附录
防操纵社会选择机制逻辑研究述评
吉伯德-萨特思韦特防策略不可能性定理的逻辑初探
投票理论阐释的新视角——从逻辑的角度看
参考文献
后记
版权所有：中国社会科学出版社 备案序号： 京ICP备05032912号-1 地址：北京西城区鼓楼西大街甲158号 邮编：100720
客服中心
收藏
消息
反馈