Dynamische epistemische Logik ist die Logik des Wissenswandels. Es handelt sich hierbei nicht um ein einzelnes logisches System, sondern um eine ganze Familie von Logiken, die es uns ermöglicht, statische und dynamische Aspekte von Multi-Agenten-Systemen zu spezifizieren. Dieses Buch bietet verschiedene Logiken zur Unterstützung solcher formalen Spezifikationen, einschliesslich Beweissystemen. Konkrete Beispiele und epistemische Rätsel beleben die Darstellung. Das Buch enthält ausserdem Übungen mit Antworten und ist hervorragend geeignet für Graduiertenkurse in Logik. Eine umfassende Kapitelübersicht des Inhalts dieses Buches ist wie folgt: Das Kapitel 'Einführung' informiert den Leser über die Geschichte des Themas und dessen Beziehung zu anderen Disziplinen. 'Epistemische Logik' bietet einen Überblick über die multi-agenten epistemische Logik - die Logik des Wissens - einschliesslich modaler Operatoren für Gruppen, wie allgemeines und gemeinsames Wissen. 'Glaubensrevision' gibt einen Überblick darüber, wie man Glaubensrevision modelliert.