Belief Contraction in Dynamic Epistemic Logic

Gaia Belardinelli, Snow Zhang

Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural ac…