Epistemic Logic

Momentum

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

Jul 13Week of Sep 28

Latest papers 14

All topics
CardsList
  1. A Minimal κκ--ττ Logic for Risk-Sensitive Abduction

    Aug 8, 2026Remo PareschiAbductive ReasoningCausal Reasoning

  2. Better Understanding, Understanding Better

    Jun 30, 2026Yu WeiLogical ReasoningDynamic Epistemic Logic

  3. Analytic Cut in Epistemic Logics with Distributed Knowledge

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

  4. Belief Contraction in Dynamic Epistemic Logic

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

  5. The Logic of Data Access and Data Exchanges

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

  6. Study on Quantitative Dynamic Epistemic Logic for Belief Revision

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

  7. Provenance-Enhanced Statements in Knowledge Graphs

    Jun 13, 2026Fabio Vitali, Valentina PasqualLogical ReasoningData Provenance

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

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

  9. History of the Muddy Children Puzzle

    Jun 8, 2026Hans van DitmarschLogical ReasoningEpistemic Logic

  10. Understanding Privacy by Formalizing It

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

  11. An Undecidability Proof for the Plan Existence Problem

    Apr 24, 2026Antonis AchilleosSymbolic PlanningDynamic Epistemic Logic

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

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

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

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