On the logic of coalitional games

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 153-160

  Ågotnes, Thomas ^a   Van Der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a UNIVERSITY OF BERGEN   (Norway)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Coalitional games; Game theory; Logic

Indexed keywords

AUTONOMOUS AGENTS; PROBLEM SOLVING; TEMPORAL LOGIC; THEOREM PROVING;

COALITIONAL GAME LOGIC (CGL); COALITIONAL GAMES;

GAME THEORY;

EID: 34247237849     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160659     Document Type: Conference Paper

References (16)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, September 2002.
2. R. J. Aumann and M. Maschler. The bargaining set for cooperative games. Advances in Game Theory (Annals of Mathematics Studies 52), pages 443-467, 1964.
3. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press: Cambridge, England, 2001.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.
5. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
6. M. Davis and M. Maschler. Existence of stable payoff configurations for cooperative games. Bulletin of the American Math. Soc., 69:106-108, 1963.
7. D. B. Gillies. Solutions to general non-zero-sum games. Contribution to the Theory of Games (Annals of Mathematics Studies, 40), IV:47-85, 1959.
8. V. Goranko. Coalition games and alternating temporal logics. In J. van Benthem, editor, Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), pages 259-272, Siena, Italy, 2001.
9. H. J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42:263-309, 1990.
10. J. Von Neumann and O. Morgenstern. Theory of Games and Economic Behaviour. Princeton University Press: Princeton, NJ, 1944.
11. M. J. Osborne and A. Rubinstein. A Course in Game Theory. The MIT Press: Cambridge, MA, 1994.
12. C. H. Papadimitriou. Computational Complexity. Addison-Wesley: Reading, MA, 1994.
13. M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001-10.
14. M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149-166, 2002.
15. (i). Bulletin of the American Math. Soc., 69:109-110, 1963.
16. W. van der Hoek, W. Jamroga, and M. Wooldridge. A logic for strategic reasoning. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005), pages 157-153, Utrecht, The Netherlands, 2005.