Logics for Dynamic Epistemic Behavioral Strategies
This paper shows how the probabilistic logic of communication and change can be used to reason about finite extensive-form games with incomplete or imperfect information and with probabilistic nature moves. The results of probabilistic behavioral strategies can be expressed, as well as the results of strategies that are sensitive not also just to the history of the game, but also to the beliefs of agents. Using this logic, game-theoretic concepts, such as best response, Nash equilibrium, and rationality can be expressed with respect to a finite set of possible strategies. Extensions to the logic are also proposed to allow for the comparison between one strategy and infinitely many others, thus providing less restricted expressions for best response, Nash equilibrium, and rationality.
KeywordsDynamic epistemic logic Valuation change Behavioural strategies Imperfect information games
I would like to thank the reviewer for the valuable comments.
- 1.Achimescu, A.: Games and Logic for Informational Cascades. Master’s of Logic Thesis, ILLC (2014). http://www.illc.uva.nl/Research/Publications/Reports/MoL-2014-04.text.pdf
- 2.Achimescu, A., Baltag, A., Sack, J.: The probabilistic logic of communication and change. In: Presented at and Published in the Informal Proceedings of the Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT’11) (2014)Google Scholar
- 3.Achimescu, A., Baltag, A., Sack, J.: The Probabilistic Logic of Communication and Change, Manuscript (2015)Google Scholar
- 6.van Benthem, J.: Rational dynamics and epistemic logic in games. Int Game Theory Rev 9(1), 13–45 (2007). (Erratum reprint, 9(2), 377–409)Google Scholar
- 7.van Benthem, J.: Logic in Games. MIT Press, Cambridge (2014)Google Scholar
- 9.Chatterjee, K., Henzinger, T., Piterman, N.: Strategy Logic. Inf. Comput. 208, 677–693 (2010)Google Scholar
- 10.Chen, T., Lu, J.: Probabilistic alternating-time temporal logic and model checking algorithm. In: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007. FSKD 2007. pp. 35–39 (2007)Google Scholar
- 13.Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)Google Scholar
- 15.Sack, J., van der Hoek, W.: A modal logic for mixed strategies. Studia Logica 102, 339–360 (2014)Google Scholar