Title: A Semantic Framework for Abstract Worlds Applied to Belief Change Operators

Abstract: This paper introduces a set-theoretic approach to belief change known as Abstract Worlds Semantics (AWS), which operates without relying on any logical syntax. Building upon the findings of Grove (1988), this methodology establishes "worlds" as fundamental components, allowing for the definition of contraction and revision operators directly upon them. By offering a cohesive platform for analyzing various belief change models, the framework successfully integrates both classical and non-prioritized constructions through the use of adaptable operators. Specifically, when applied to classical propositional logic, AWS delivers a consistent explanation of the AGM, KM, and Multiple Change models. Ultimately, the AWS system streamlines and expands belief change theory by organizing its frameworks and operators, thereby providing a more generalized perspective on belief sets.

Source: arXiv Generated at: 2026-06-02 00:00:00 UTC