Belief Contraction in Dynamic Epistemic Logic

Abstract: 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 contraction about factual propositions. A classic response enriches Kripke models with plausibility orderings, representing contraction as an update that promotes certain possibilities over others. We show that this approach has expressive limitations. In particular, the approach cannot model belief that violates positive introspection and contraction dynamics in response to a hedged public announcement that phi might be false. Motivated by these considerations, we introduce a mechanism for belief contraction defined directly on standard Kripke models, without any constraints on the doxastic accessibility relation. We show that it satisfies some of the standard properties of belief contraction but not others, study the conditions under which contraction may be unsuccessful, and provide a sound and complete axiomatization of the logic via reduction axioms. We also define a more general dynamic logic that is an extension of standard DEL and accommodates belief contractions due to events such as private or semi-private announcements, and provide a complete and sound axiomatization of the general logic.

• The paper introduces a novel Kripke-based contraction mechanism that allows hedged public announcements to suspend beliefs without introducing new factual commitments.
• It axiomatizes the new Hedged Public Announcement Logic (HPAL), proving soundness and completeness through reduction axioms, distinguishing it from traditional approaches.
• Generalized DEL (GDEL) extends the framework to incorporate various epistemic events, offering a robust model for belief dynamics in scenarios with incomplete or uncertain information.

Belief Contraction in Dynamic Epistemic Logic: An Expert Review

Motivation and Problem Statement

Dynamic Epistemic Logic (DEL), as formalized by Baltag, Moss, and Solecki (1998), offers a robust framework for modeling belief dynamics in multi-agent systems, notably through epistemic events such as public and private announcements. The standard DEL approach is effective for belief expansion, i.e., updating beliefs via elimination of incompatible possibilities. However, it is structurally limited with respect to belief contraction: removing a belief about a factual proposition in response to uncertain or hedged information (e.g., "It might be false that $p$"). Traditional extensions deploy plausibility models, wherein world orderings encode comparative plausibility and belief contraction is operationalized by promoting alternate worlds. Nevertheless, this approach is overly restrictive, enforcing properties such as positive introspection (axiom 4) and failing to capture contraction dynamics arising from noncommittal public announcements.

Methodological Innovations

The paper introduces a new mechanism for belief contraction, defined directly on standard multimodal Kripke models, with no constraints imposed on the doxastic accessibility relation. The key novelty is the dynamic operation for hedged public announcement: upon receiving an announcement that $\varphi$ might be false, agents who believe $\varphi$ augment their doxastic possibilities with all $\neg\varphi$ worlds, thereby suspending belief in $\varphi$ without acquiring new factual beliefs. This extension yields the Hedged Public Announcement Logic (HPAL), which is fully axiomatized via reduction axioms. A more general framework, Generalized DEL (GDEL), is proposed, incorporating both standard DEL updates and belief contraction from a variety of epistemic events, including private and semi-private announcements.

Formal Properties and Axiomatization

The contraction operator in HPAL satisfies several standard properties of belief contraction, such as closure, consistency, and extensionality, but fails others (e.g., inclusion, vacuity, and recovery) — a consequence of the dynamic nature of contraction, which is fundamentally distinct from the static AGM paradigm. HPAL is sound and complete with respect to its reduction axioms, enabling effective elimination of dynamic modalities and facilitating expressive reasoning about contraction dynamics. In GDEL, the product update is generalized to include model expansions via new accessibility relations ($Q^+$), allowing agents to consider previously inaccessible possibilities when contraction is triggered. The composition of event models is axiomatized, and GDEL is proved complete via reduction arguments analogous to standard DEL.

Expressive Analysis and Preservation

The paper demonstrates, via precise modal equivalence arguments, that plausibility models are strictly less expressive than the proposed Kripke-based contraction mechanism for scenarios involving hedged announcements or agents lacking positive introspection. Existential formulas (those built from literals, $\wedge$, $\vee$, and $\widetilde{B}_a$) are shown to be always preserved under contraction updates, whereas universal formulas guarantee contraction success. Strong numerical results are provided regarding preservation and self-refuting formulas: $p \wedge B_a\neg p$ and its variants are self-refuting, i.e., false immediately after contraction, formalizing Moorean phenomena. In the S5 setting (single agent with equivalence relations), all formulas are preserved under contraction, but this result does not generalize for KD45 or multi-agent models.

Practical and Theoretical Implications

The new contraction mechanism is practically significant for multi-agent epistemic planning, especially in settings with incomplete or hedged information flow. It offers a technically rigorous model for agents suspending judgment upon receiving noncommittal updates, thus enabling accurate modeling of information withholding, hedged assertions, and conditional beliefs in epistemic protocols. The theoretical distinction from AGM and standard DEL underscores the need for dynamic approaches when belief contraction can alter the truth value of epistemic statements, especially higher-order ones.

GDEL's generality accommodates dynamic contraction triggered by varied event types, including private and semi-public announcements, and is shown to simulate a refinement of an initial Kripke model followed by a simulation expansion. This aligns with modal semantics for refinement and simulation, further embedding GDEL within modal model theory.

Limitations and Future Directions

Several limitations and open questions are acknowledged. Properties such as introspection are not preserved post-update, even when initial relations satisfy equivalence; this demands further investigation into event model restrictions for preserving introspection. The full characterization of preserved and successful formulas in HPAL is not yet established. Comparison with other contraction mechanisms (e.g., dynamic AGM, logics of forgetting, and awareness dynamics) is required to assess expressivity and operational complexity. Iterative properties and closure conditions for GDEL, especially regarding combined contraction and expansion operators, remain an open research direction. The framework’s ability to reconstruct arbitrary Kripke models suggests strong expressive power, but a more granular comparison with plausibility-based approaches is warranted.

Conclusion

This paper advances the theoretical understanding of belief contraction in DEL by introducing a flexible, Kripke-based contraction operator, fully axiomatized and computationally tractable. The expressive limitations of plausibility-based contraction are rigorously exposed, and the extension to Generalized DEL provides a unified dynamic logic for belief expansion and contraction. The results set a foundation for further work on iterated updates, expressive comparisons, and applications in agent communication, epistemic planning, and conditional belief modeling.

(2606.31861)