Skip to main content
SpringerLink
Log in

Dynamic Epistemic Logics

  • Chapter
  • First Online:
Johan van Benthem on Logic and Information Dynamics

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 5))

Abstract

Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or believe about the world and about what others know or believe. This chapter gives an overview of dynamic epistemic logics, and traces some connections with propositional dynamic logic, with planning and with probabilistic updating.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Andersen MB, Bolander T, Jensen MH (2012) Conditional epistemic planning. In: Proceedings of JELIA 2012, Lecture notes in artificial intelligence, vol 7519, pp 94–106

    Google Scholar 

  2. Aucher G (2003) A combined system for update logic and belief revision. Master’s thesis, ILLC, Amsterdam

    Google Scholar 

  3. Aucher G, Bolander T (2013) Undecidability in epistemic planning. In: Proceedings of IJCAI 2013 (23rd international joint conference on artificial intelligence), August 2013

    Google Scholar 

  4. Aumann RJ (1976) Agreeing to disagree. Ann Stat 4(6):1236–1239

    Article  Google Scholar 

  5. Bacchus F, Halpern J, Levesque H (1999) Reasoning about noisy sensors and effectors in the situation calculus. Artif Intell 111(1–2):171–208

    Article  Google Scholar 

  6. Baltag A, Moss LS (2004) Logics for epistemic programs. Synthese 139(2):165–224

    Article  Google Scholar 

  7. Baltag A, Moss LS, Solecki S (1998) The logic of public announcements, common knowledge, and private suspicions. In: Bilboa I (ed) Proceedings of TARK’98, pp 43–56

    Google Scholar 

  8. Baltag A, Moss LS, Solecki S (2003) The logic of public announcements, common knowledge, and private suspicions. Technical report, Dept of Cognitive Science, Indiana University and Dept of Computing, Oxford University, Bloomington and Oxford, 2003 (Updated version of [7])

    Google Scholar 

  9. Baltag A, Smets S (2006) Dynamic belief revision over multi-agent plausibility models. In: van der Hoek W, Wooldridge M (eds) Proceedings of LOFT’06, pp 11–24, Liverpool, 2006. University of Liverpool

    Google Scholar 

  10. Baltag A, Smets S (2008) The logic of conditional doxastic actions. In: Apt K, van Rooij R (eds) New perspectives on games and interaction. Texts in logic and games, vol 5. Amsterdam University Press, Amsterdam, pp 9–31

    Google Scholar 

  11. Baltag A, Smets S (2009) Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In: Proceedings of the 12th conference on theoretical aspects of rationality and knowledge, TARK ’09, pp 41–50, New York, NY, USA, 2009. ACM

    Google Scholar 

  12. Battigalli P, Bonanno G (1999) Recent results on belief, knowledge and the epistemic foundations of game theory. Res Econ 53:149–225

    Article  Google Scholar 

  13. van Benthem J (2000) Information update as relativization. Technical report, ILLC, Amsterdam, 2000. http://staff.science.uva.nl/johan/Upd=Rel.pdf

  14. van Benthem J (2007) Dynamic logic for belief revision. J Appl Non-Classical Logics 2:129–155

    Article  Google Scholar 

  15. van Benthem J, Liu F (2007) Dynamic logic of preference upgrade. J Appl Non-Classical Logics 14(2):157–182

    Article  Google Scholar 

  16. van Benthem J, van Eijck J, Kooi B (2006) Logics of communication and change. Inf Comput 204(11):1620–1662

    Article  Google Scholar 

  17. van Benthem J, Gerbrandy J, Kooi B (2009) Dynamic update with probabilities. Stud Logica 93:67–96

    Article  Google Scholar 

  18. van Benthem J, van Ditmarsch H, van Eijck J, Jaspars J (2012) Logic in action. Internet, 2012. http://www.logicinaction.org

  19. Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge

    Google Scholar 

  20. Bolander T, Andersen MB (2011) Epistemic planning for single- and multi-agent systems. J Appl Non-Classical Logics 21(1):9–34

    Article  Google Scholar 

  21. Cox RT (1946) Probability, frequency, and reasonable expectation. Am J Phys 14(1):1–13

    Article  Google Scholar 

  22. van Ditmarsch HP, van der Hoek W, Kooi BP (2005) Dynamic epistemic logic with assignment. In: Proceedings of the fourth international joint conference on autonomous agents and multi-agent systems (AAMAS 05), pp 141–148, New York, 2005. ACM Inc

    Google Scholar 

  23. van Ditmarsch HP, van der Hoek W, Kooi B (2006) Dynamic epistemic logic. Synthese library, vol 337. Springer, Dordrecht

    Google Scholar 

  24. van Eijck J Learning about probability. http://homepages.cwi.nl:/jve/software/prodemo

  25. van Eijck J (2008) Yet more modal logics of preference change and belief revision. In: Apt KR, van Rooij R (eds) New perspectives on games and interaction. Texts in logic and games, vol 4, pp 81–104. Amsterdam University Press, Amsterdam

    Google Scholar 

  26. van Eijck J (2013) PDL as a multi-agent strategy logic. In: Schipper BC (ed) TARK 2013—Theoretical aspects of reasoning about knowledge, Proceedings of the 14th conference—Chennai, India, pp 206–215

    Google Scholar 

  27. van Eijck J, Wang Y (2008) Propositional dynamic logic as a logic of belief revision. In: Hodges W, de Queiros R (eds) Proceedings of Wollic’08, number 5110. Lecture notes in artificial intelligence, pp 136–148. Springer

    Google Scholar 

  28. van Eijck J, Ruan J, Sadzik T (2012) Action emulation. Synthese 185:131–151

    Article  Google Scholar 

  29. Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge

    Google Scholar 

  30. Fagin R, Halpern JY, Moses Y, Vardi MY (1997) Knowledge-based programs. Distrib Comput 10(4):199–225

    Google Scholar 

  31. Fagin R, Halpern JY (1994) Reasoning about knowledge and probability. J ACM 41:340–367

    Google Scholar 

  32. Floyd RW (1967) Assigning meanings to programs. In: Proceedings AMS symposium applied mathematics, vol 19, pp 19–31, Providence, RI, 1967. American Mathematical Society

    Google Scholar 

  33. Friedell MF (1969) On the structure of shared awareness. Behav Sci 14(1):28–39

    Article  Google Scholar 

  34. Gärdenfors P (1988) Knowledge in flux: modelling the dynamics of epistemic states. MIT Press, Cambridge

    Google Scholar 

  35. Gerbrandy J (1999) Bisimulations on planet Kripke. PhD thesis, ILLC, Amsterdam

    Google Scholar 

  36. Ghallab M, Nau DS, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann, Amsterdam

    Google Scholar 

  37. Girard P, Seligman J (2012) General dynamic dynamic logic. In: Bolander T, Braüner T, Ghilardi S, Moss LS (eds) Advances in modal logic. College Publications, pp 239–260

    Google Scholar 

  38. Groeneveld W (1995) Logical investigations into dynamic semantics. PhD thesis, ILLC, Amsterdam

    Google Scholar 

  39. Halpern J (2003) Reasoning about uncertainty. MIT Press, Cambridge

    Google Scholar 

  40. Halpern JY, Moses YO (1984) Knowledge and common knowledge in a distributed environment. In: Proceedings 3rd ACVM symposium on distributed computing, pp 50–68

    Google Scholar 

  41. Halpern J (1987) Using reasoning about knowledge to analyse distributed systems. Annu Rev Comput Sci 2:37–68

    Article  Google Scholar 

  42. Hemaspaandra E (1990) The price of universality. Notre Dame J Form Log 37(2):174–203

    Google Scholar 

  43. Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Ithaca

    Google Scholar 

  44. Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):567–580, 583

    Google Scholar 

  45. Jaspars J (1994) Calculi for constructive communication. PhD thesis, ITK, Tilburg and ILLC, Amsterdam

    Google Scholar 

  46. Kooi BP (2003) Knowledge, chance, and change. PhD thesis, Groningen University

    Google Scholar 

  47. Kooi Barteld P (2003) Probabilistic dynamic epistemic logic. J Logic Lang Inform 12(4):381–408

    Article  Google Scholar 

  48. Kozen D, Parikh R (1981) An elementary proof of the completeness of PDL. Theoret Comput Sci 14:113–118

    Article  Google Scholar 

  49. Lewis DK (1969) Convention: a philosophical study. Harvard University Press, Cambridge

    Google Scholar 

  50. Löwe B, Pacuit E, Witzel A (2011) Del planning and some tractable cases. In: Proceedings of the third international conference on logic, rationality, and interaction, LORI’11, pp 179–192, Berlin, Heidelberg, 2011. Springer-Verlag

    Google Scholar 

  51. Martin L (2006) Model checking propositional dynamic logic with all extras. J Appl Logic 4(1):39–49

    Google Scholar 

  52. McNulty G (1977) Fragments of first order logic, I: universal horn logic. J Symbolic Logic 42:221–237

    Google Scholar 

  53. Miller JS, Moss LS (2005) The undecidability of iterated modal relativization. Stud Logica 79(3):373–407

    Article  Google Scholar 

  54. Moore RC (1985) A formal theory of knowledge and action. In: Hobbs JR, Moore RC (eds) Formal theories of the commonsense world. Ablex Publishing, Norwood, pp 319–358

    Google Scholar 

  55. Osborne MJ, Rubinstein A (1994) A course in game theory. MIT Press, Cambridge

    Google Scholar 

  56. Panangaden P, Sadrzadeh M (2011) Learning in a changing world, an algebraic modal logical approach. In: Proceedings of the 13th international conference on algebraic methodology and software technology, AMAST’10, pp 128–141, Berlin, Heidelberg, 2011. Springer-Verlag

    Google Scholar 

  57. Paris JB (1994) The uncertain reasoner’s companion—a mathematical perspective. Cambridge tracts in theoretical computer science, vol 39. Cambridge University Press, Cambridge

    Google Scholar 

  58. Perea A (2012) Epistemic game theory: reasoning and choice. Cambridge University Press, Cambridge

    Google Scholar 

  59. Plaza JA (1989) Logics of public communications. In: Emrich ML, Pfeifer MS, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th international symposium on methodologies for intelligent systems, pp 201–216

    Google Scholar 

  60. Pratt V (1976) Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE symposium on foundations of computer, Science, pp 109–121

    Google Scholar 

  61. Segerberg K (1982) A completeness theorem in the modal logic of programs. In: Traczyck T (ed) Universal algebra and applications. Polish Science Publications, Warsaw, pp 36–46

    Google Scholar 

  62. Sietsma F (2012) Logics of communication and knowledge. PhD thesis, ILLC, Amsterdam

    Google Scholar 

  63. Sietsma F, van Eijck J (2013) Action emulation between canonical models. J Philos Logic (accepted for publication)

    Google Scholar 

  64. Wang Y (2010) Epistemic modelling and protocol dynamics. PhD thesis, ILLC, Amsterdam

    Google Scholar 

  65. Wang Y, Li Y (2012) Not all those who wander are lost: dynamic epistemic reasoning in navigation. In: Proceedings of AIML 2012, Advances in Modal Logic, vol 9, 559–580, College Publications

    Google Scholar 

Download references

Acknowledgments

Thanks to Guillaume Aucher, Alexandru Baltag, Johan van Benthem, Sonja Smets, for illuminating discussion, feedback and encouragement.

Author information

Authors and Affiliations

  1. CWI, Science Park 123, 1098 XG, Amsterdam, The Netherlands

    Jan van Eijck

  2. ILLC, Science Park 107, 1098 XG, Amsterdam, The Netherlands

    Jan van Eijck

Authors
  1. Jan van Eijck
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan van Eijck .

Editor information

Editors and Affiliations

  1. University of Amsterdam Inst Logic,Language & Computation, Amsterdam, The Netherlands

    Alexandru Baltag

  2. Amsterdam, The Netherlands

    Sonja Smets

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

van Eijck, J. (2014). Dynamic Epistemic Logics. In: Baltag, A., Smets, S. (eds) Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic, vol 5. Springer, Cham. https://doi.org/10.1007/978-3-319-06025-5_7

Download citation

Publish with us

Policies and ethics

Search

Navigation