Towards a Logical Analysis of Adjusted Winner

Chapter
Part of the Synthese Library book series (SYLI, volume 352)

Abstract

It is often convenient to view a computational procedure, or a program, as a relation on a set of states, where a state can be thought of as a function that assigns a value to every possible variable and a truth value to all propositions. This idea was proposed by Pratt [19] and extends the work of of Floyd [4] and Hoare [6]. Harel, Kozen and Tiuryn [5] provide a very thorough discussion of computational procedures from this point of view. In [12], Rohit Parikh suggests that a similar framework can be developed for studying social procedures, such as fair division algorithms or voting protocols.

References

  1. 1.
    Alur R., Henzinger T., and Kupferman O. Alternating-time temporal logic, JACM, 495: 672–713, 2002.CrossRefGoogle Scholar
  2. 2.
    Brams S. J., and Taylor A. D. Fair Division: From Cake-Cutting to Dispute Resolution. Cambridge University Press, Cambridge, 1996.CrossRefGoogle Scholar
  3. 3.
    Brams S. J., and Taylor A. D. The Win–Win Solution. W. W. Norton and Company, New York, NY, 1999.Google Scholar
  4. 4.
    Floyd R. W. Assigning meanings to programs, Proc. Symp. Appl. Math., 19: 19–31, 1967.CrossRefGoogle Scholar
  5. 5.
    Harel D., Kozen D., and Tiuryn J. Dynamic Logic. MIT Press, Cambridge, MA, 2000.Google Scholar
  6. 6.
    Hoare C. A. R. An axiomatic basis for computer programming, Commun. ACM, 12: 576–583, 1969.CrossRefGoogle Scholar
  7. 7.
    Nielson H. R., and Nielson F. Semantics with Applications. Wiley, Chichester, 1992.Google Scholar
  8. 8.
    Osborne M., and Rubinstein A. A Course in Game Theory. The MIT Press, Cambridge, 1994.Google Scholar
  9. 9.
    Pacuit E., Parikh R., and Salame S. Some recent results on adjusted winner. In U. Endriss and J. Lange, editors, Proceedings of Computational Social Choice. ILLC Technical, Amsterdam, The Netherlands, 2006.Google Scholar
  10. 10.
    Pacuit E., and Parikh R. Introduction to Formal Epistemology. Coursenotes for ESSLLI 2007. Available at staff.science.uva.nl/epacuit/formep esslli.htmlGoogle Scholar
  11. 11.
    Parikh R. The logic of games and its applications. In M. Karpinski and J. van Leeuwen, editors, Topics in the Theory of Computation, (vol. 24 of Annals of Discrete Mathematics), Elsevier, Amsterdam, 1985.Google Scholar
  12. 12.
    Parikh R. Language as social software (abstract). In International Congress on Logic, Methodology and Philosophy of Science, page 415. 1995.Google Scholar
  13. 13.
    Parikh R. Knowledge and structure in social algorithms (extended abstract). Presented at Stony Brook Conference on Game Theory, 2007.Google Scholar
  14. 14.
    Pauly M. A modal logic for coalitional power in games, J. Log. Comput., 121: 149–166, 2002.CrossRefGoogle Scholar
  15. 15.
    Pauly M. Programming and verifying subgame perfect mechanisms, J. Log. Comput., 153: 295–316, 2005.CrossRefGoogle Scholar
  16. 16.
    Pauly M., and Parikh R. Game logic – An overview, Stud. Log., 752: 165–182, 2003.CrossRefGoogle Scholar
  17. 17.
    Pratt V. R. Semantical considerations on Floyd-Hoare logic. In Proceedings of. 17th Symposium on Foundation of Computer Science. IEEE, pages 109–121, 1976Google Scholar
  18. 18.
    van Otterloo S. A Strategic Analysis of Multi-Agent Protocols. PhD thesis, University of Liverpool, 2005.Google Scholar
  19. 19.
    Wooldridge M., Agotnes T., Dunne P., and van der Hoek, W. Logic for automated mechanism design — A progress report. In Twenty-Second Conference on Artificial Intelligence (AAAI-07), 2007.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Tilburg University, Tilburg Institute for Logic and Philosophy of ScienceTilburgThe Netherlands

Personalised recommendations