# A modal logic translation of the AGM axioms for belief revision

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 28 references that are in the map.
- First posted on arXiv 20 Feb 2025.

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

- [A Kripke-Lewis semantics for belief update and belief revision](https://mlsanity.com/paper/2310.11506/) (2023)
- [Characterization of AGM Belief Contraction in Terms of Conditionals](https://mlsanity.com/paper/2307.05629/) (2023)

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

- [The logic of KM belief update is contained in the logic of AGM belief revision](https://mlsanity.com/paper/2602.23302/) (2026)

## Abstract (arXiv)

Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom.