# An Abstract Worlds Semantic Framework for Belief Change Operators

arXiv: https://arxiv.org/abs/2606.02163 · HTML: https://mlsanity.com/paper/2606.02163/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 38 references that are in the map.
- First posted on arXiv 1 Jun 2026.

## Builds on (most cited first, 1 of 1)

- [Finite Based Contraction and Expansion via Models](https://mlsanity.com/paper/2303.03034/) (2023)

## Abstract (arXiv)

This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed. Inspired by Grove's (1988) results, our approach treats worlds as primitive elements, over which world contraction and world revision operators are defined. This semantic framework enables a unified analysis of belief change models. Within this framework, we unify classical and non-prioritized belief change constructions by defining versatile operators. When classical propositional logic is considered, our framework provides a homogeneous account of AGM, KM, and Multiple Change models. In summary, AWS systematizes belief change frameworks and operators, simplifying and generalizing belief change theory over belief sets.