Abstract
A mixture of propositional dynamic logic and epistemic logic that we call PDL + E is used to give a formalization of Artemov’s knowledge based reasoning approach to game theory, (KBR), [4, 5]. Epistemic states of players are represented explicitly and reasoned about formally. We give a detailed analysis of the Centipede game using both proof theoretic and semantic machinery. This helps make the case that PDL + E can be a useful basis for the logical investigation of game theory.
Similar content being viewed by others
References
Dynamic logic (modal logic). In Wikipedia. http://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic).
Artemov S.: ‘Explicit provability and constructive semantics’. The Bulletin for Symbolic Logic 7(1), 1–36 (2001)
Artemov, S., ‘The logic of justification’. The Review of Symbolic Logic 1(4):477–513, December 2008.
Artemov, S., ‘Knowledge-based rational decisions’. Technical Report TR-2009011, CUNY Ph.D. Program in Computer Science, September 2009.
Artemov, S., ‘Rational decisions in non-probabilistic settings’. Technical Report TR-2009012, CUNY Ph.D. Program in Computer Science, October 2009.
Aumann R.: ‘Backward induction and common knowledge of rationality’. Games and Economic Behavior 8, 6–19 (1995)
Balbiani, P., ‘Propositional dynamic logic’. In Stanford Encyclopedia of Philosophy. 2007. http://plato.stanford.edu/entries/logic-dynamic/.
Fischer M. J., and R. E. Ladner, ‘Propositional modal logic of programs’. In Proceedings of the ninth annual ACM symposium on theory of computing, 1977, pp. 286–294.
Fitting, M. C., ‘Reasoning about games’. Technical Report TR-2010002, CUNY Ph.D. Program in Computer Science, 2010. http://www.cs.gc.cuny.edu/tr/.
Harel, D., ‘Dynamic logic’. In D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, volume 2, D. Reidel, 1984, pp. 497–604.
Hintikka, J., Knowledge and Belief. Cornell University Press, 1962.
Pratt, V., ‘Semantical considerations on Floyd-Hoare logic’. In 17th IEEE Symposium on Foundations of Computer Science, 1976, pp. 109–121.
Rosenthal R.: ‘Games of perfect information, predtory pricing, and the chain store’. Journal of Economic Theory 25, 92–100 (1981)
Schmidt, R. A., and D. Tishkovsky, ‘Combining dynamic logic with doxastic modal logics’. In P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, (eds.), Advances in Modal Logic, volume 4, King’s College Publications, London, 2002, pp. 371–391.
Schmidt R. A., Tishkovsky D.: ‘On combinations of propositional dynamic logic and doxastic modal logics’. Journal of Logic, Language and Information 17(1), 109–129 (2008)
van Benthem J.: ‘Games in dynamic-epistemic logic’. Bulletin of Economic Research 53(4), 219–248 (2002)
van Ditmarsh, H., W. van der Hoek, and B. Kooi, Dynamic Epistemic Logic. Synthese, 2007.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Ryszard Wójcicki on the happy occasion of his eightieth birthday
Ryszard has been an important contributor to logic, to the logic community, and a friend these many years.
Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday
Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski
Rights and permissions
About this article
Cite this article
Fitting, M. Reasoning About Games. Stud Logica 99, 143 (2011). https://doi.org/10.1007/s11225-011-9358-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11225-011-9358-7