Dynamic Epistemic Logic

, &
Dordrecht, Netherland: Springer (2007)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

ISBN(s)

9781402058387   1402069081   1402058381   9781402069086
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic.Barteld Kooi, Wiebe Hoek & Hans Ditmarsch - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 237-262.
Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknown
Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.
Dynamic term-modal logic. Kooi, Barteld - unknown
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic. [REVIEW]Patrick Girard - 2009 - Australasian Journal of Logic 7:26-31.
Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Dynamic Consequence and Public Announcement.Andrés Cordón Franco, Hans van Ditmarsch & Angel Nepomuceno - 2013 - Review of Symbolic Logic 6 (4):659-679.
Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.

Analytics

Added to PP
2021-11-17

Downloads
24 (#591,250)

6 months
15 (#126,617)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hans Van Ditmarsch
LORIA
Wiebe Van Der Hoek
University of Liverpool
Barteld Kooi
University of Groningen

Citations of this work

Minimal Rationality and the Web of Questions.Daniel Hoek - forthcoming - In Dirk Kindermann, Peter van Elswyk, Andy Egan & Cameron Domenico Kirk-Giannini (eds.), Unstructured Content. Oxford University Press.
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.

View all 81 citations / Add more citations

References found in this work

[Omnibus Review].S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
Announcement.[author unknown] - 1989 - Noûs 23 (2):289-289.
Announcement.[author unknown] - 1989 - Noûs 23 (1):141-141.

Add more references