Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic

Abstract

Dynamic epistemic logic can be traced back to the works of Hintikka [9] and Pratt [16], but has been flourishing mostly since the turn of the millennium. Even so, a first textbook in the field is felt as having been long-awaited! If only for this reason, this book should be on any (modal) logician’s bookshelf.