Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Onderzoeksoutput: ChapterProfessional

Samenvatting

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 (theory) belief revision [1] to the dynamic epistemic logics introduced here.
Originele taal-2English
TitelJaakko Hintikka on Knowledge and Game-Theoretical Semantics
RedacteurenHans van Ditmarsch, Gabriel Sandu
UitgeverijSpringer
Hoofdstuk9
Pagina's237-262
ISBN van elektronische versie978-3-319-62864-6
ISBN van geprinte versie978-3-319-62863-9
DOI's
StatusPublished - 2018

Publicatie series

NaamOutstanding Contributions to Logic
UitgeverijSpringer
Volume12
ISSN van geprinte versie2211-2758
ISSN van elektronische versie2211-2766

Citeer dit