Dynamic Epistemic Logic and Knowledge Puzzles

  • H. P. van Ditmarsch
  • W. van der Hoek
  • B. P. Kooi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4604)


We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We then apply the logic of public announcements in DEL to the analysis of a knowledge puzzle, called ‘What Sum’.


multiagent systems epistemic logic dynamic epistemic logic belief revision 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change. Journal of Symbolic Logic 50, 510–530 (1985)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Aucher, G.: A combined system for update logic and belief revision. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 1–17. Springer, Heidelberg (2005)Google Scholar
  3. 3.
    Aumann, R.J.: Agreeing to disagree. Annals of Statistics 4(6), 1236–1239 (1976)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.) TARK 1998, pp. 43–56 (1998)Google Scholar
  5. 5.
    Baltag, A., Smets, S.: Dynamic belief revision over multi-agent plausibility models. In: Proceedings of LOFT 2006 (to appear)Google Scholar
  6. 6.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge, MA (1995)zbMATHGoogle Scholar
  7. 7.
    Gerbrandy, J.D.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01 (1999)Google Scholar
  8. 8.
    Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca, NY (1962)Google Scholar
  9. 9.
    Kooi, B.P.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics, 2007 (to appear)Google Scholar
  10. 10.
    Lewis, D.K.: Convention, a Philosophical Study. Harvard University Press, Cambridge, MA (1969)Google Scholar
  11. 11.
    Liu, A.: Problem section: Problem 182. Math Horizons 11(324) (2004)Google Scholar
  12. 12.
    McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex Series in Artificial Intelligence, Ablex Publishing, Greenwich (1990)Google Scholar
  13. 13.
    Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. In: Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press, Cambridge (1995)Google Scholar
  14. 14.
    Moore, G.E.: A reply to my critics (The Library of Living Philosophers). In: Schilpp, P.A. (ed.) The Philosophy of G.E. Moore, vol. 4, pp. 535–677 (1942)Google Scholar
  15. 15.
    Moses, Y.O., Dolev, D., Halpern, J.Y.: Cheating husbands and other stories: a case study in knowledge, action, and communication. Distributed Computing 1(3), 167–176 (1986)zbMATHCrossRefGoogle Scholar
  16. 16.
    Plaza, J.A.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) 4th Int. Symp. on Methodologies for Intelligent Systems, pp. 201–216 (1989)Google Scholar
  17. 17.
    Qian, L.: Sentences true after being announced,
  18. 18.
    van Benthem, J.F.A.K., van Eijck, J., Kooi, B.P.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    van Ditmarsch, H.P.: Knowledge games. PhD thesis, University of Groningen, ILLC Dissertation Series DS-2000-06 (2000)Google Scholar
  20. 20.
    van Ditmarsch, H.P.: Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147, 229–275 (2005)zbMATHGoogle Scholar
  21. 21.
    van Ditmarsch, H.P., Ruan, J.: Model checking logic puzzles. In: Quatrièmes Journées Francophones MODÈLES FORMELS de l’INTERACTION, Paris, Cahiers du Lamsade, 2007 (to appear)Google Scholar
  22. 22.
    van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic epistemic logic with assignment. In: AAMAS 2005, pp. 141–148. ACM Inc., New York (2005)CrossRefGoogle Scholar
  23. 23.
    van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic. In: Synthese Library, vol. 337, Springer, Heidelberg (2007)Google Scholar
  24. 24.
    van Eijck, J.: Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, (2004) CWI Report SEN-E0424Google Scholar
  25. 25.
    Wu, W.: 100 prisoners and a lightbulb (2001),

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • H. P. van Ditmarsch
    • 1
  • W. van der Hoek
    • 2
  • B. P. Kooi
    • 3
  1. 1.University of OtagoNew Zealand
  2. 2.University of LiverpoolUnited Kingdom
  3. 3.University of GroningenNetherlands

Personalised recommendations