arxivcs.LOcs.AI2026-06-30
Belief Contraction in Dynamic Epistemic Logic
Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural account of belief expansion through the elimination of possibilities, but it cannot model belief contr…