PP-2016-17: Proving Classical Theorems of Social Choice Theory in Modal Logic

PP-2016-17: Ciná, Giovanni and Endriss, Ulle (2016) Proving Classical Theorems of Social Choice Theory in Modal Logic. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (228kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


A number of seminal results in the field of social choice theory demonstrate the difficulties of aggregating the preferences of several individual agents for the purpose of making a decision together. We show how to formalise three of the most important impossibility results of this kind---Arrow’s Theorem, Sen’s Theo- rem, and the Muller-Satterthwaite Theorem---by using a modal logic of social choice functions. We also provide syntactic proofs of these theorems in the same logic. While prior work has been successful in applying tools from logic and automated reasoning to social choice theory, this is the first human-readable formalisation of the Arrovian framework allowing for a direct derivation of the main impossibility theorems of social choice theory. This is useful for gaining a deeper understanding of the foundations of collective decision making, both in human society and in groups of autonomous software agents.

Item Type: Report
Report Nr: PP-2016-17
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: social choice theory, modal logic
Subjects: Logic
Depositing User: Ulle Endriss
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/553

Actions (login required)

View Item View Item