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] Proving classical theorems of social choice theory in modal logic
    Giovanni Ciná
    Ulle Endriss
    Autonomous Agents and Multi-Agent Systems, 2016, 30 : 963 - 989
  • [3] Social choice theory without Pareto: The pivotal voter approach
    Miller, Michael K.
    MATHEMATICAL SOCIAL SCIENCES, 2009, 58 (02) : 251 - 255
  • [4] Proving classical theorems of social choice theory in modal logic
    Cina, Giovanni
    Endriss, Ulle
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2016, 30 (05) : 963 - 989
  • [5] A social choice theory of legitimacy
    John W. Patty
    Elizabeth Maggie Penn
    Social Choice and Welfare, 2011, 36 : 365 - 382
  • [6] Pointwise aggregation of maps: Its structural functional equation and some applications to social choice theory
    De Miguel, L.
    Campion, M. J.
    Candeal, J. C.
    Indurain, E.
    Paternain, D.
    FUZZY SETS AND SYSTEMS, 2017, 325 : 137 - 151
  • [7] Sports Tournaments and Social Choice Theory
    Smead, Rory
    PHILOSOPHIES, 2019, 4 (02)
  • [8] On the role of language in social choice theory
    Marc Pauly
    Synthese, 2008, 163 : 227 - 243
  • [9] Reduction Theorems in the Social Choice Theory
    Polyakov N.L.
    Shamolin M.V.
    Journal of Mathematical Sciences, 2023, 272 (5) : 667 - 671
  • [10] A HOL Theory of the Differential for Matrix Functions
    Nie, Yuhan
    Shi, Zhiping
    Wu, Aixuan
    Li, Ximeng
    Wang, Guohui
    Guan, Yong
    2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 121 - 127
12345