Overview of Dynamic Epistemic Logic

Hans van Ditmarsch () and Barteld Kooi ()
Additional contact information
Hans van Ditmarsch: Université de Lorraine, LORIA, CNRS
Barteld Kooi: University of Groningen, Faculty of Philosophy

Chapter 12 in One Hundred Prisoners and a Light Bulb, 2015, pp 123-156 from Springer

Abstract: Abstract This 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 agents holding playing cards; and, mainly for the purpose of motivating the dynamics, we also briefly introduce the concepts of shared and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the result of publicly perceived events. In that setting, we also present the unsuccessful updates: formulas that become false when announced. We then present more complex epistemic updates. Finally, we briefly present a framework for jointly modeling (defeasible) belief and knowledge, and belief revision.

Keywords: Dynamic Epistemic Logic; Unsuccessful Update; Belief Revision; Public Announcement Logic; Anne Knows (search for similar items in EconPapers)
Date: 2015
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-16694-0_12

Ordering information: This item can be ordered from
http://www.springer.com/9783319166940

DOI: 10.1007/978-3-319-16694-0_12

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().