Dynamic Epistemic Logic van Hans van Ditmarsch, Wiebe van der Hoek en Barteld Kooi is een Engelstalig studieboek over de logica van kennis en kennisverandering in multi-agent systems.
Het boek behandelt epistemic logic, common knowledge, public announcement logic, belief change en complexere epistemic actions. Formele definities, bewijssystemen en voorbeelden maken het geschikt voor graduate courses in logic, philosophy, AI en computer science.
ISBN: 9781402069086.