Dynamic Epistemic Logic

Ask about this topic

Overview

Dynamic epistemic logic models what agents know or believe and how those states change after announcements, messages, actions, and data exchanges. Researchers use Kripke and action models, extending them with AGM-style belief revision and contraction, asynchronous communication histories, paraconsistent reasoning, and knowledge of data values. Work studies soundness, completeness, decidability, plan existence, and fixed points under iterated announcements, with applications to distributed communication and belief coordination. A central tension is that modeling richer histories and revision can complicate axiomatization or make planning undecidable, while formally satisfying revision rules may not capture intended rational or social behavior.

Latest papers

CardsList

12 papers1 paper in the last four weeks, against 1 the four weeks before. 0.0% of all new papers.

  1. What Was Said, Not What Was 'Thought': Type-6 Logic for CoT Verification

    Sep 29, 2026Adrian de WynterLLM Answer VerificationDynamic Epistemic Logic

    Microsoft and the University of York

  2. Eventual and Strong Eventual Notions in Public Announcements

    Sep 21, 2026Eiji YamadaDynamic Epistemic Logic

    Department of Mathematical and Computing Science, Institute of Science Tokyo, Tokyo, Japan.

  3. Explainable Belief Harmonization under Dynamic Epistemic Partitions

    Jul 23, 2026Adam Kostka, Jarosław A. ChudziakBelief RevisionDynamic Epistemic Logic

    Warsaw University of Technology · Warsaw University of Technology, Warsaw, Poland

  4. The Dynamic Turn in Paraconsistency

    Jul 22, 2026Rafael Ongaratto, Hans van DitmarschLogical ReasoningDynamic Epistemic Logic

    Institute of Philosophy and Human Sciences, UNICAMP Campinas, Brazil · University of Toulouse, IRIT-CNRS Toulouse, France

  5. Better Understanding, Understanding Better

    Jun 30, 2026Yu WeiLogical ReasoningDynamic Epistemic Logic

    Department of Philosophy, East China Normal University · Department of Philosophy East China Normal University Shanghai, China

  6. Belief Contraction in Dynamic Epistemic Logic

    Jun 30, 2026Gaia Belardinelli, Snow ZhangBelief RevisionDynamic Epistemic Logic

    Stanford University · Department of Philosophy Stanford University Stanford, USA · University of Berkeley, California +1

  7. The Logic of Data Access and Data Exchanges

    Jun 30, 2026Alexandru Baltag, Sonja SmetsDynamic Epistemic LogicEpistemic Logic

    ILLC, University of Amsterdam · University of Amsterdam, ILLC Amsterdam, Netherlands

  8. Resolving Asynchronous Distributed Knowledge

    Jun 30, 2026Philippe Balbiani, Hans van Ditmarsch, Clara LerouvilloisMulti-Agent SystemsDynamic Epistemic Logic

    IRIT, CNRS-INP-University of Toulouse · IRIT, CNRS—INPT—UT · IRIT, CNRS-INP-University of Toulouse, IHPST, CNRS-Paris 1 Pantheon Sorbonne +1

  9. Study on Quantitative Dynamic Epistemic Logic for Belief Revision

    Jun 18, 2026Felipe Nunes de Souza CamargoBelief RevisionDynamic Epistemic Logic

    State University of Campinas (UNICAMP), Campinas-SP, Brasil

  10. An Undecidability Proof for the Plan Existence Problem

    Apr 24, 2026Antonis AchilleosSymbolic PlanningDynamic Epistemic Logic

    Department of Computer Science, Reykjavik University, Iceland

  11. Preregistered Belief Revision Contracts

    Apr 16, 2026Saad AlqithamiBelief RevisionDynamic Epistemic Logic

  12. Axiomatisation for an asynchronous epistemic logic with sending and receiving messages

    Oct 3, 2025Philippe Balbiani, Hans van Ditmarsch, Clara LerouvilloisLogical ReasoningDynamic Epistemic Logic

    IRIT, CNRS—INPT—UT, Toulouse, France · IHPST University Paris 1 Panth´eon Sorbonne, Paris, France