Dynamic Epistemic Logic

Cover -- Contents -- Preface -- CH 1 Introduction -- 1.1 Epistemic and Doxastic Logic -- 1.2 Dynamic Epistemic Logic -- 1.3 Information, Belief, and Knowledge -- CH 2 Epistemic Logic -- 2.1 Introduction -- 2.2 Basic System: S5 -- 2.2.1 Language -- 2.2.2 Semantics -- 2.2.3 Axiomatisation -- 2.3 Group Notions of Knowledge -- 2.3.1 Language -- 2.3.2 Semantics -- 2.3.3 Axiomatisation -- 2.4 Logics for Belief -- 2.5 Notes -- CH 3 Belief Revision -- 3.1 Introduction -- 3.2 The AGM-approach -- 3.2.1 Expansion -- 3.2.2 Contraction -- 3.2.3 Revision -- 3.2.4 Characterisation Results -- 3.3 Possible Worlds Semantics for Information Change -- 3.4 Paradoxes of Introspective Belief Change -- 3.5 Dynamic Doxastic Logic -- 3.6 Notes -- CH 4 Public Announcements -- 4.1 Introduction -- 4.2 Examples -- 4.3 Syntax -- 4.4 Semantics -- 4.5 Principles of Public Announcement Logic -- 4.6 Announcement and Common Knowledge -- 4.7 Unsuccessful Updates -- 4.8 Axiomatisation -- 4.8.1 Public Announcement Logic without Common Knowledge -- 4.8.2 Public Announcement Logic -- 4.9 Knowledge and Belief -- 4.10 Muddy Children -- 4.11 Sum and Product -- 4.12 Russian Cards -- 4.13 Notes -- CH 5 Epistemic Actions -- 5.1 Introduction -- 5.2 Syntax -- 5.3 Semantics -- 5.3.1 Basic Definitions -- 5.3.2 Example of Epistemic Action Semantics -- 5.3.3 Semantic Properties -- 5.3.4 Deterministic and Non-deterministic Actions -- 5.3.5 Valid Properties of the Logic -- 5.4 Card Game Actions -- 5.4.1 Dealing and Picking Up Cards -- 5.4.2 Game Actions in Hexa -- 5.4.3 Knowledge Games -- 5.4.4 Diffierent Cards -- 5.5 Spreading Gossip -- 5.6 Notes -- CH 6 Action Models -- 6.1 Introduction -- 6.1.1 Syntax or Semantics? -- 6.1.2 Action Models as Syntactic Objects -- 6.1.3 Action Models as Semantic Objects -- 6.1.4 Concluding -- 6.2 Action Models -- 6.3 Syntax of Action Model Logic -- 6.4 Semantics of Action Model Logic -- 6.5 Bisimilarity and Action Emulation -- 6.6 Validities and Axiomatisation -- 6.7 Epistemic Model Checking -- 6.8 Relational Actions and Action Models -- 6.9 Private Announcements -- 6.10 Notes -- CH 7 Completeness -- 7.1 Introduction -- 7.2 S5 : The Basic Case -- 7.3 S5C: Dealing with Non-compactness -- 7.4 PA: Completeness by Translation -- 7.5 PAC: Induction on Complexity -- 7.6 AM: Translating Action Models -- 7.7 AMC: Generalising the Proof for PAC -- 7.8 Relativised Common Knowledge -- 7.8.1 Language, Semantics, and Completeness -- 7.8.2 Adding Public Announcements -- 7.9 Notes -- CH 8 Expressivity -- 8.1 Introduction -- 8.2 Basic Concepts -- 8.3 Bisimulation -- 8.3.1 Countably Many Atoms -- 8.3.2 Hedgehogs -- 8.4 Games -- 8.5 S5 -- 8.5.1 Single-agent S5 -- 8.5.2 Multi-agent S5 -- 8.6 S5C --T.