David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 92 (3):365 - 379 (2009)
Mathematical theory of voting and social choice has attracted much attention. In the general setting one can view social choice as a method of aggregating individual, often conflicting preferences and making a choice that is the best compromise. How preferences are expressed and what is the “best compromise” varies and heavily depends on a particular situation. The method we propose in this paper depends on expressing individual preferences of voters and specifying properties of the resulting ranking by means of first-order formulas. Then, as a technical tool, we use methods of second-order quantifier elimination to analyze and compute results of voting. We show how to specify voting, how to compute resulting rankings and how to verify voting protocols.
|Keywords||voting social choice quantifier elimination|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
N. Immerman (1999). Descriptive Complexity. Springer Verlag.
Citations of this work BETA
No citations found.
Similar books and articles
Yann Allard-Tremblay (2012). The Epistemic Edge of Majority Voting Over Lottery Voting. Res Publica 18 (3):207-223.
Clara Fischer (2011). Compulsory Voting and Inclusion: A Response to Saunders. POLITICS 31 (1):2011.
Dennis Leech & Robert Leech, Voting Power Implications of a Unified European Representation at the IMF.
Gilbert Laffond (2000). Majority Voting on Orders. Theory and Decision 49 (3):249-287.
Jean-Luc Koning & Didier Dubois (2006). Suitable Properties for Any Electronic Voting System. Artificial Intelligence and Law 14 (4):251-260.
Steven Pressman (2006). Clap Happy: Applause and the Voting Paradox. Journal of Economic Methodology 13 (2):241-256.
Added to index2009-08-19
Total downloads18 ( #107,389 of 1,679,366 )
Recent downloads (6 months)1 ( #183,761 of 1,679,366 )
How can I increase my downloads?