Dynamic Epistemic Logic I: Modeling Knowledge and Belief

Philosophy Compass 8 (9):798-814 (2013)
  Copy   BIBTEX

Abstract

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. This is the first paper in a two-part series introducing this research area. In this paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents

Categories

Keywords

Reprint years

DOI

10.1111/phc3.12059

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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 II: Logics of Information Change.Eric Pacuit - 2013 - Philosophy Compass 8 (9):815-833.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.
Playing Cards with Hintikka: An introduction to dynamic epistemic logic.H. van Ditmarsch, W. van der Hoek & B. Kooi - 2005 - Australasian Journal of Logic 3:108-134.
Modeling Reasoning in a Social Setting.Johan van Benthem - 2014 - Studia Logica 102 (2):235-265.
Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.
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.
Information, awareness and substructural logics.Igor Sedlár - 2013 - In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281.
Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.

Analytics

Added to PP
2013-09-14

Downloads
143 (#156,964)

6 months
4 (#1,247,093)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Eric Pacuit
University of Maryland, College Park

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Public Announcements, Public Lies and Recoveries.Kai Li & Jan van Eijck - 2022 - Journal of Logic, Language and Information 31 (3):423-450.
On the use (and abuse) of Logic in Game Theory.Eric Pacuit - 2015 - Journal of Philosophical Logic 44 (6):741-753.

View all 6 citations / Add more citations

References found in this work

Counterfactuals.David K. Lewis - 1973 - Malden, Mass.: Blackwell.
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Elusive knowledge.David Lewis - 1996 - Australasian Journal of Philosophy 74 (4):549 – 567.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.

View all 37 references / Add more references