Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic
Patrick Girard · The Australasian Journal of Logic · 2009
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.