# Characterization of AGM Belief Contraction in Terms of Conditionals

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 1 of its 40 references that are in the map.
- First posted on arXiv 11 Jul 2023.

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

- [A Conditional Perspective for Iterated Belief Contraction](https://mlsanity.com/paper/1911.08833/) (2019)

## Built on by (most cited first, 1 of 1)

- [A modal logic translation of the AGM axioms for belief revision](https://mlsanity.com/paper/2502.14176/) (2025)

## Abstract (arXiv)

We provide a semantic characterization of AGM belief contraction based on frames consisting of a Kripke belief relation and a Stalnaker-Lewis selection function. The central idea is as follows. Let K be the initial belief set and K-A be the contraction of K by the formula A; then B belongs to the set K-A if and only if, at the actual state, the agent believes B and believes that if not-A is (were) the case then B is (would be) the case.