Abstract
We propose a modal logic called \(\mathcal{EDLA}\) (Epistemic Dynamic Logic of Agency) that allows to reason about epistemic games in strategic form. \(\mathcal{EDLA}\) integrates the concepts of joint action, preference and knowledge. In the first part of the paper we introduce \(\mathcal{EDLA}\) and provide soundness, completeness and complexity results. In the second part we study in \(\mathcal{EDLA}\) the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and iterated strict dominance. In the last part of the paper we combine \(\mathcal{EDLA}\) with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aumann, R.J., Brandenburger, A.: Epistemic conditions for Nash equilibrium. Econometrica 63, 1161–1180 (1995)
Balbiani, P., Gasquet, O., Herzig, A., Schwarzentruber, F., Troquard, N.: Coalition games over Kripke semantics. In: Festschrift in Honour of Shahid Rahman, pp. 11–32. College Publications (2008)
Battigalli, P., Bonanno, G.: Recent results on belief, knowledge and the epistemic foundations of game theory. Research in Economics 53, 149–225 (1999)
Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford (2001)
van Benthem, J.: Rational dynamics and epistemic logic in games. International Game Theory Review 9(1), 13–45 (2007)
van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2), 157–182 (2007)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Bonanno, G.: A syntactic approach to rationality in games with ordinal payoffs. In: Proc. of LOFT 2008, pp. 59–86 (2008)
Brandenburger, A.: Knowledge and equilibrium in games. Journal of Economic Perspectives 6, 83–101 (1992)
de Bruin, B.: Explaining games: on the logic of game theoretic explanations. PhD thesis, University of Amsterdam (2004)
van Ditmarsch, H.P., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Kluwer Academic Publishers, Dordrecht (2007)
Halpern, J.Y., Rego, L.: Generalized solution concepts in games with possibly unaware players. In: Proc. of TARK 2007, pp. 253–262 (2007)
Harsanyi, J.: Games with incomplete informations played by ‘bayesian’ players: Part I, the basic model. Management Science 14(3), 159–182 (1967)
Herzig, A., Lorini, E.: A dynamic logic of agency I: STIT, abilities and powers. Technical Report RR2009-4FR, Institut de Recherche en Informatique de Toulouse (2009)
van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proc. of AAMAS 2005, pp. 157–164. ACM Press, New York (2005)
Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
Lorini, E.: A dynamic logic of agency II: deterministic DLA, coalition logic, and game theory. Technical Report RR2009-5FR, Institut de Recherche en Informatique de Toulouse (2009)
Osborne, M.J., Rubinstein, A.: A course in game theory. MIT Press, Cambridge (1994)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
Roy, O.: Thinking before acting: intentions, logic, rational choice. PhD thesis, University of Amsterdam (2008)
Troquard, N., van der Hoek, W., Wooldridge, M.: A logic of games and propositional control. In: Proc. of AAMAS 2009, pp. 961–968. ACM Press, New York (2009)
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
Lorini, E., Schwarzentruber, F., Herzig, A. (2009). Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-04893-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04892-0
Online ISBN: 978-3-642-04893-7
eBook Packages: Computer ScienceComputer Science (R0)