Epistemic Logic

Ask about this topic

Overview

Epistemic logic represents what agents know or believe using possible-world models, with operators for individual, shared, and distributed knowledge. Dynamic methods model how announcements, messages, data exchanges, and belief updates change those states, while axiomatic and computational work studies properties such as completeness, decidability, and plan existence. Applications include privacy and information-flow policies, knowledge graphs, and tests of whether language models can track nested beliefs in theory-of-mind puzzles. A central tension is that expressive systems can capture complex interactions but may be hard to decide or reason with, while language models can still falter when agents have asymmetric or fragmented information.

Latest papers

CardsList

19 papers1 paper in the last four weeks, with none the four weeks before. 0.0% of all new papers.

  1. Epistemic Disturbance in the Graph Model for Conflict Resolution: State-Preserving Actions, Four-Valued Assessments, and the Distinction between Capability and Intention

    Oct 8, 2026Yukiko KatoEpistemic Logic

    Lynx Technologies Inc., Tokyo, Japan · Institute of Science Tokyo, Tokyo, Japan

  2. A Minimal κκ--ττ Logic for Risk-Sensitive Abduction

    Aug 8, 2026Remo PareschiAbductive ReasoningCausal Reasoning

    STAKE Lab, University of Molise 86100 Campobasso, Italy

  3. Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI

    Aug 1, 2026David A. NaumannLogical ReasoningFormal Verification

    Stevens Institute of Technology, USA

  4. 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

  5. Analytic Cut in Epistemic Logics with Distributed Knowledge

    Jun 30, 2026Ryo Murai, Sizhuo Liu, Katsuhiko SanoLogical ReasoningEpistemic Logic

    Independent Researcher · Hokkaido University · Graduate School of Humanities and Human Sciences Hokkaido University Hokkaido, Japan +1

  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. 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

  9. Provenance-Enhanced Statements in Knowledge Graphs

    Jun 13, 2026Fabio Vitali, Valentina PasqualLogical ReasoningData Provenance

    University of Bologna, Italy

  10. Mind the Perspective: Let's Reason Recursively for Theory of Mind

    Jun 10, 2026Chao Lei, Guang Hu, Meng Yang +2Logical ReasoningTheory of Mind

    School of Computing and Information Systems, The University of Melbourne, Australia · SensiLab, Monash University, Australia

  11. History of the Muddy Children Puzzle

    Jun 8, 2026Hans van DitmarschLogical ReasoningEpistemic Logic

    CNRS, France · IIT Kanpur, India

  12. Understanding Privacy by Formalizing It

    May 22, 2026Réka Markovich, Truls Pedersen, Marija SlavkovikEpistemic Logic

    University of Luxembourg · University of Bergen

  13. An Undecidability Proof for the Plan Existence Problem

    Apr 24, 2026Antonis AchilleosSymbolic PlanningDynamic Epistemic Logic

    Department of Computer Science, Reykjavik University, Iceland

  14. Beyond Memorization: Distinguishing Between Pattern-Based and Epistemic Reasoning in LLMs Using Epistemic Puzzles

    Mar 22, 2026Adi Gabay, Gabriel Stanovsky, Liat PeterfreundEpistemic LogicLLM Reasoning

    School of Computer Science and Engineering The Hebrew University of Jerusalem

  15. Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility

    Mar 4, 2026Antonin SulcLogical ReasoningNeuro-Symbolic Reasoning

    Lawrence Berkeley National Laboratory, Berkeley, CA, USA

  16. NM-DEKL∞3^3_\infty: A Three-Layer Non-Monotone Evolving Dependent Type Logic

    Mar 2, 2026Peng ChenNonmonotonic ReasoningFormal Verification

  17. The logic of KM belief update is contained in the logic of AGM belief revision

    Feb 26, 2026Giacomo BonannoBelief RevisionLogical Reasoning

    University of California, Davis, USA

  18. Common Belief Revisited

    Feb 17, 2026Thomas ÅgotnesEpistemic Logic

    University of Bergen and Shanxi University

  19. 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