Back to papers
June 30, 2026cs.LOcs.AI

Belief Contraction in Dynamic Epistemic Logic

Categories

cs.LO, cs.AI