The English-language textbook Dynamic Epistemic Logic by Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi deals with the logic of knowledge change. This book is suitable for students in higher education who delve into formal specifications of multi-agent systems.
The logic of knowledge change, or dynamic epistemic logic, comprises a family of systems that model static and dynamic aspects of knowledge. This book offers a variety of logical systems with proof systems, concrete examples, and epistemic puzzles. In addition, it includes exercises with Answers, making it suitable for graduate courses in logic.
The contents include, among other things, an introduction to the history and connections with other disciplines, an overview of multi-agent epistemic logic with group modalities such as distributed and common knowledge, modeling of belief revision, and an extensive treatment of public announcements. Furthermore, complex epistemic actions and their logic are discussed, as well as the initial completeness proofs for the introduced systems.
This book is aligned in content with philosophy and logic and is part of the Synthesis Library.