Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Abstract

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.
Original languageEnglish
Title of host publicationJaakko Hintikka on Knowledge and Game-Theoretical Semantics
EditorsHans van Ditmarsch, Gabriel Sandu
PublisherSpringer
Chapter9
Pages237-262
ISBN (Electronic)978-3-319-62864-6
ISBN (Print)978-3-319-62863-9
DOIs
Publication statusPublished - 2018

Publication series

NameOutstanding Contributions to Logic
PublisherSpringer
Volume12
ISSN (Print)2211-2758
ISSN (Electronic)2211-2766

Keywords

  • Dynamic epistemic logic
  • Multi-agent systems
  • Modal logic

Cite this