Abstract
Solutions concepts are a fundamental tool for the analysis of game-like systems, and as a consequence, much effort has been devoted to the problem of characterising solution concepts using logic. However, one problem is that, to characterise solution concepts such as Nash equilibrium, it seems necessary to refer to strategies in the object language, which tends to complicate the object language. We propose a logic in which we can formulate important properties of games (and in particular pure-strategy solution concepts) without recourse to naming strategies in the object language. The idea is that instead of using predicates which state that a particular collection of strategies forms a solution, we define formulae of the logic that are true at a state if and only if this state constitutes a particular equilibrium outcome. We demonstrate the logic by model checking equilibria of strategic games.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49, 672–713 (2002)
Areces, C., Blackburn, P., Marx, M.: Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic 66, 977–1010 (2001)
Areces, C., ten Cate, B.: Hybrid Logics. In: Handbook of Modal Logic. Blackburn, et al. [?], vol. 3, pp. 821–868 (2006)
Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic 37(4), 387–406 (2008)
Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford (2001)
Blackburn, P., ten Cate, B.: Pure extensions, proof rules, and hybrid axiomatics. Studia Logica 84, 277–322 (2006)
Blackburn, P., Tzakova, M.: Hybrid languages and temporal logic. Logic Journal of the IGPL 7(1), 27–54 (1999); Revised Version of MPI-I-98-2-006
Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.): Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3. Elsevier Science Inc., New York (2006)
Broersen, J., Herzig, A., Troquard, N.: Normal simulation of coalition logic and an epistemic extension. In: Proceedings of TARK 2007, Brussels, Belgium. ACM DL, New York (2007)
Dragone, L.: Hybrid logic model checker (2005), http://www.luigidragone.com/hlmc/
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)
Franceschet, M., de Rijke, M.: Model checking hybrid logics (with an application to semistructured data). Jounal of Applied Logic 4, 279–304 (2006)
Gerbrandy, J.: Logics of propositional control. In: AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 193–200. ACM Press, New York (2006)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Horty, J.F., Belnap Jr., N.D.: The deliberative stit: A study of action, omission, and obligation. Journal of Philosophical Logic 24(6), 583–644 (1995)
Jamroga, A., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 62(2-3), 185–219 (2004)
Kurucz, A.: Combining modal logics. In: Handbook of Modal Logic. Blackburn et al. [?], vol. 3, pp. 869–924 (2006)
Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)
Papadimitriou, C.: The complexity of finding Nash equilibria. In: Algorithmic Game Theory, pp. 29–51. Cambridge University Press, Cambridge (2007)
Parikh, R.: Social software. Synthese 132(3), 187–211 (2002)
Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. Information and Computation 93, 263–332 (1991)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
van Benthem, J.: Open problems in logic and games. In: Artëmov, S.N., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, pp. 229–264. King’s College Publications, London (2005)
van Benthem, J.: In praise of strategies. In: van Eijck, J., Verbrugge, R. (eds.) Discourses on Social Software. Texts in Logic and Games. Amsterdam University Press (2009)
van Benthem, J., van Otterloo, S., Roy, O.: Preference Logic, Conditionals, and Solution Concepts in Games. In: Lagerlund, H., Lindström, S., Sliwinski, R. (eds.) Modality Matters, pp. 61–76. University of Uppsala (2006)
van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 164(1-2), 81–119 (2005)
Venema, Y.: Cylindric modal logic. Journal of Symbolic Logic 60(2), 591–623 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Troquard, N., van der Hoek, W., Wooldridge, M. (2009). Model Checking Strategic Equilibria. In: Peled, D.A., Wooldridge, M.J. (eds) Model Checking and Artificial Intelligence. MoChArt 2008. Lecture Notes in Computer Science(), vol 5348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00431-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-00431-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00430-8
Online ISBN: 978-3-642-00431-5
eBook Packages: Computer ScienceComputer Science (R0)