Login
 
Hauptdaten
Autor: Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Titel: Dynamic Epistemic Logic
Verlag: Springer-Verlag
ISBN/ISSN: 9781402058394
Auflage: 1
Preis : CHF 57.90
Erscheinungsdatum:
Inhalt
Kategorie: Informatik, EDV Buch
Sprache: English
Technische Daten
Seiten: 296
Kopierschutz: DRM
Geräte: PC/MAC/eReader/Tablet
Formate: PDF
Inhaltsangabe

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

Inhaltsverzeichnis
Contents6
Preface9
Acknowledgements10
1 Introduction12
1.1 Epistemic and Doxastic Logic13
1.2 Dynamic Epistemic Logic14
1.3 Information, Belief, and Knowledge16
2 Epistemic Logic22
2.1 Introduction22
2.2 Basic System: S522
2.3 Group Notions of Knowledge41
2.4 Logics for Belief49
2.5 Notes51
3 Belief Revision54
3.1 Introduction54
3.2 The AGM-approach55
3.3 Possible Worlds Semantics for Information Change66
3.4 Paradoxes of Introspective Belief Change69
3.5 Dynamic Doxastic Logic74
3.6 Notes76
4 Public Announcements78
4.1 Introduction78
4.2 Examples79
4.3 Syntax83
4.4 Semantics85
4.5 Principles of Public Announcement Logic88
4.6 Announcement and Common Knowledge92
4.7 Unsuccessful Updates95
4.8 Axiomatisation99
4.9 Knowledge and Belief102
4.10 Muddy Children104
4.11 Sum and Product107
4.12 Russian Cards108
4.13 Notes115
5 Epistemic Actions120
5.1 Introduction120
5.2 Syntax123
5.3 Semantics126
5.4 Card Game Actions137
5.5 Spreading Gossip145
5.6 Notes148
6 Action Models151
6.1 Introduction151
6.2 Action Models159
6.3 Syntax of Action Model Logic159
6.4 Semantics of Action Model Logic161
6.5 Bisimilarity and Action Emulation167
6.6 Validities and Axiomatisation172
6.7 Epistemic Model Checking176
6.8 Relational Actions and Action Models180
6.9 Private Announcements183
6.10 Notes184
7 Completeness187
7.1 Introduction187
7.2 S5: The Basic Case188
7.3 S5C: Dealing with Non-compactness192
7.4 PA: Completeness by Translation196
7.5 PAC: Induction on Complexity199
7.6 AM: Translating Action Models204
7.7 AMC: Generalising the Proof for PAC206
7.8 Relativised Common Knowledge211
7.9 Notes218
8 Expressivity220
8.1 Introduction220
8.2 Basic Concepts221
8.3 Bisimulation224
8.4 Games229
8.5 S5233
8.6 S5C236
8.7 PA239
8.8 PAC240
8.9 Non-deterministic Choice244
8.10 AM246
8.11 Relativised Common Knowledge246
8.12 Notes250
A Selected Answers to Exercises252
Answers to Exercises from Chapter 2252
Answers to Exercises from Chapter 3255
Answers to Exercises from Chapter 4258
Answers to Exercises from Chapter 5263
Answers to Exercises from Chapter 6266
Answers to Exercises from Chapter 7268
Answers to Exercises from Chapter 8271
References273
Index284