Dynamic epistemic logic (Q953926)

This is an excellent and much needed introduction to recent advances in the logic of knowledge change. The book consists of 8 chapters, the first of which gives a brief introduction. Chapter 2 introduces epistemic logic both semantically (by means of Kripke structures) and syntactically (by means of modal logic). Group notions of knowledge, in particular common knowledge, are also discussed. Chapter 3 deals with the AGM approach to belief revision. Chapter 4 gives a comprehensive account of a logic of knowledge with dynamic operators for truthful public announcements. Chapter 5 proceeds to a generalization of public announcement logic to more complex epistemic actions, while Chapter 6 is devoted to the action model approach to describing epistemic actions. Chapter 7 contains the proofs of completeness for the logics introduced in Chapters 2, 4 and 6. Chapter 8 discusses various results on the expressive power of the logics presented in the previous chapters. An attractive feature of this book is the multitude of illustrative examples.