Reasoning about Social Choice Functions

  title={Reasoning about Social Choice Functions},
  author={Nicolas Troquard and Wiebe van der Hoek and Michael Wooldridge},
  journal={J. Philosophical Logic},
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… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.
Showing 1-10 of 19 references


N. Troquard
van der Hoek, and M. Wooldridge. A logic of propositional control for truthful implementations. In TARK ’09: Proceedings of the 12th conference on Theoretical aspects of rationality and knowledge, pages 237–246. ACM DL • 2009
View 5 Excerpts
Highly Influenced


M. Wooldridge, T. Ågotnes
E. Dunne, , and W. van der Hoek. Logic for automated mechanism design — a progress report. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence • 2007
View 1 Excerpt

Hybrid Logics, volume Handbook of Modal Logic, chapter 14, pages 821–868

C. Areces, B. ten Cate
Elsevier Science Inc., • 2006
View 2 Excerpts

Similar Papers

Loading similar papers…