Abstract | ||
---|---|---|
We introduce a logic specifically designed to support reasoning about social
choice functions. The logic includes operators to capture strategic ability,
and operators to capture agent preferences. We establish a correspondence
between formulae in the logic and properties of social choice functions, and
show that the logic is expressively complete with respect to social choice
functions, i.e., that every social choice function can be characterised as a
formula of the logic. We prove that the logic is decidable, and give a complete
axiomatization. To demonstrate the value of the logic, we show in particular
how it can be applied to the problem of determining whether a social choice
function is strategy-proof. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s10992-011-9189-z | Journal of Philosophical Logic |
Keywords | Field | DocType |
knowledge representation · social choice theory · modal logic · strategic ability · preferences · strategy-proofness,knowledge representation,modal logic,social choice theory,social choice | Intuitionistic logic,Discrete mathematics,Autoepistemic logic,Zeroth-order logic,Multimodal logic,Description logic,Bunched logic,Modal logic,Higher-order logic,Mathematics | Journal |
Volume | Issue | ISSN |
abs/1102.3 | 4 | 1573-0433 |
Citations | PageRank | References |
3 | 0.44 | 3 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas Troquard | 1 | 266 | 29.54 |
Wiebe Van Der Hoek | 2 | 2566 | 195.77 |
Michael Wooldridge | 3 | 10010 | 810.27 |