The graduate textbook/monograph Dynamic Epistemic Logic co-authored by Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi has been published as hard- and softcover in Springer's Synthese Library series.
The graduate textbook/monograph Dynamic Epistemic Logic co-authored by Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi has been published as hard- and softcover in Springer's Synthese Library series.
We love to hear from typographic and other errors (well, in a way, not really, but you know what we mean...). We will be most grateful for input from our peers and for comments from students. Student input (errata etc) is highly appreciated, either directly or by intermediation of the lecturer.
Dynamic Epistemic Logic is the logic of change of knowledge. It allows us to specify both static and dynamic aspects of abstract multi-agent system architectures. Various logical tools are provided to support such formalizations, such as proof systems for the logics. A sweeping chapter-wise outline of the content of this book is the following. 'Epistemic logic' is an overview of multi-agent epistemic logic -- the logic of knowledge -- including modal operators for groups, such as general and common knowledge. 'Belief revision' is an overview -- not a detailed presentation -- on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public announcements' is a detailed and comprehensive introduction into the logic of knowledge to which dynamic operators for truthful public announcement are added. There are many interesting applications, that are also presented in this chapter: a form of cryptography for ideal agents also known as 'the russian cards problem', the sum-and-product riddle, etc. 'Epistemic actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action models'. Also in that chapter, the two approaches are compared. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic logic', 'Public announcements', and 'Action models'. The completeness of the logic in 'Epistemic actions' can be achieved similar to that in 'Action models'. 'Expressivity' discusses various results on the expressive power of the logics presented.
In due time we will add chapter by chapter slide presentations, more answers to exercises (selected answers to exercises are in the book), sample exams, and other matters of educational interest.
Mirror website in Liverpool
Mirror website in Sevilla