Playing cards with Hintikka An introduction to dynamic epistemic logic

  • H. P. Ditmarsch Department of Computer Science, University of Otago
  • W. Van Der Hoek Department of Computer Science, The University of Liverpool
  • B. P. Kooi Department of Philosophy, University of Groningen

Abstract

This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the result of public announcements. One crucial topic in that setting is that of unsuccessful updates: formulas that become false when announced. The Moore-sentences that were already extensively discussed at the conception of epistemic logic in Hintikka’s ‘Knowledge and Belief ’ (1962) give rise to such unsuccessful updates. After that, we present a few examples of more complex epistemic updates.

Author Biographies

H. P. Ditmarsch, Department of Computer Science, University of Otago
W. Van Der Hoek, Department of Computer Science, The University of Liverpool
B. P. Kooi, Department of Philosophy, University of Groningen
Published
2005-10-06
How to Cite
DITMARSCH, H. P.; VAN DER HOEK, W.; KOOI, B. P.. Playing cards with Hintikka An introduction to dynamic epistemic logic. The Australasian Journal of Logic, [S.l.], v. 3, oct. 2005. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1776>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v3i0.1776.