Das englischsprachige Lehrbuch Dynamische epistemische Logik von Hans van Ditmarsch, Wiebe van der Hoek und Barteld Kooi behandelt die Logik von Wissensänderungen. Dieses Buch ist geeignet für Studierende im Hochschulbereich, die sich mit formalen Spezifikationen von Multiagentensystemen beschäftigen.
Die Logik des knowledge change, oder dynamische epistemische Logik, umfasst eine Familie von Systemen, die statische und dynamische Aspekte von Wissen modellieren. Dieses Buch bietet verschiedene logische Systeme mit Beweissystemen, konkrete Beispiele und epistemische Rätsel. Darüber hinaus enthält es Übungen mit Lösungen (Antwoorden), was es für Graduiertenkurse in Logik geeignet macht.
Der Inhalt umfasst unter anderem eine Einführung in die Geschichte und die Verbindungen zu anderen Disziplinen, einen Überblick über multiagentische epistemische Logik mit Gruppenmodalitäten wie allgemeines und gemeinsames Wissen, die Modellierung von belief revision sowie eine ausführliche Behandlung von public announcements. Darüber hinaus werden komplexe epistemische Aktionen und ihre Logik diskutiert sowie die anfänglichen Vollständigkeitsbeweise für die eingeführten Systeme.
Inhaltlich knüpft dieses Buch an Philosophie und Logik an und ist Teil der Synthese Library.