Social Choice Theory in HOL

被引：3

作者：

Nipkow, Tobias ^{[1
]}

机构：

[1] Tech Univ Munich, Inst Informat, Munich, Germany

来源：

JOURNAL OF AUTOMATED REASONING | 2009年 / 43卷 / 03期

关键词：

Social choice theory; Arrow's theorem; Gibbard-Satterthwaite theorem; Higher-order logic; Theorem proving; ARROWS THEOREM; WELFARE;

D O I：

10.1007/s10817-009-9147-4

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This article presents formalizations in higher-order logic of two proofs of Arrow's impossibility theorem due to Geanakoplos. The Gibbard-Satterthwaite theorem is derived as a corollary. Lacunae found in the literature are discussed.

引用

页码：289 / 304

页数：16

共 50 条

[1] Social choice theory in HOL : AArrow and gibbard-satterthwaite
Nipkow T.
Journal of Automated Reasoning, 2009, 43 (3) : 289 - 304
[2] Social choice theory in HOL : AArrow and gibbard-satterthwaite
Nipkow, Tobias
Journal of Automated Reasoning, 2009, 43 (03): : 289 - 304
[3] Social choice: Theory and choice
Mulford, M
BRITISH JOURNAL OF SOCIOLOGY, 2000, 51 (02): : 388 - 388
[4] Theory Choice and Social Choice: Kuhn Vindicated
Morreau, Michael
MIND, 2015, 124 (493) : 239 - 262
[5] The reach of social choice theory
Amartya Sen
Social Choice and Welfare, 2012, 39 : 259 - 272
[6] Social choice: Theory and research
Dore, MHI
CONTEMPORARY PSYCHOLOGY-APA REVIEW OF BOOKS, 2000, 45 (05): : 518 - 522
[7] The functions of social choice theory
Arrow, KJ
SOCIAL CHOICE RE-EXAMINED, VOL 1, 1997, : 3 - 9
[8] THE GENERAL WILL AND SOCIAL CHOICE THEORY
RADCLIFF, B
REVIEW OF POLITICS, 1992, 54 (01): : 34 - 49
[9] Fundamentals of Social Choice Theory
Myerson, Roger B.
QUARTERLY JOURNAL OF POLITICAL SCIENCE, 2013, 8 (03) : 305 - 337
[10] The reach of social choice theory
Sen, Amartya
SOCIAL CHOICE AND WELFARE, 2012, 39 (2-3) : 259 - 272

← 1 2 3 4 5 →