Skip to main content
Log in

Reasoning About Games

Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Dynamic logic (modal logic). In Wikipedia. http://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic).

  2. Artemov S.: ‘Explicit provability and constructive semantics’. The Bulletin for Symbolic Logic 7(1), 1–36 (2001)

    Article  Google Scholar 

  3. Artemov, S., ‘The logic of justification’. The Review of Symbolic Logic 1(4):477–513, December 2008.

  4. Artemov, S., ‘Knowledge-based rational decisions’. Technical Report TR-2009011, CUNY Ph.D. Program in Computer Science, September 2009.

  5. Artemov, S., ‘Rational decisions in non-probabilistic settings’. Technical Report TR-2009012, CUNY Ph.D. Program in Computer Science, October 2009.

  6. Aumann R.: ‘Backward induction and common knowledge of rationality’. Games and Economic Behavior 8, 6–19 (1995)

    Article  Google Scholar 

  7. Balbiani, P., ‘Propositional dynamic logic’. In Stanford Encyclopedia of Philosophy. 2007. http://plato.stanford.edu/entries/logic-dynamic/.

  8. 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.

  9. 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/.

  10. Harel, D., ‘Dynamic logic’. In D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, volume 2, D. Reidel, 1984, pp. 497–604.

  11. Hintikka, J., Knowledge and Belief. Cornell University Press, 1962.

  12. Pratt, V., ‘Semantical considerations on Floyd-Hoare logic’. In 17th IEEE Symposium on Foundations of Computer Science, 1976, pp. 109–121.

  13. Rosenthal R.: ‘Games of perfect information, predtory pricing, and the chain store’. Journal of Economic Theory 25, 92–100 (1981)

    Article  Google Scholar 

  14. 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.

  15. 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)

    Article  Google Scholar 

  16. van Benthem J.: ‘Games in dynamic-epistemic logic’. Bulletin of Economic Research 53(4), 219–248 (2002)

    Article  Google Scholar 

  17. van Ditmarsh, H., W. van der Hoek, and B. Kooi, Dynamic Epistemic Logic. Synthese, 2007.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Melvin Fitting.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-011-9358-7

Keywords

Navigation