In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer. pp. 237-262 (2018)

Barteld Kooi
University of Groningen
Wiebe Van Der Hoek
University of Liverpool
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, indeed, 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 [15] give rise to such unsuccessful updates. After that, we present a few examples of more complex epistemic updates. Our closing observations are on recent developments that link the ‘standard’ topic of belief revision [1] to the dynamic epistemic logics introduced here.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Buy the book Find it on
DOI 10.1007/978-3-319-62864-6_9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Dynamic Graded Epistemic Logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Arrow Update Logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Epistemic Logic and Epistemology.Boudewijn de Bruin - 2008 - In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave-Macmillan.


Added to PP index

Total views
4 ( #1,286,610 of 2,533,570 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,570 )

How can I increase my downloads?


My notes