mlsanityData to 14 Oct 2026

A modal logic translation of the AGM axioms for belief revision

arXiv 2502.14176 ↗First posted 20 Feb 2025cs.LO cs.AIcited by 1

Not on the map. Why?

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.

Key facts. Cited by 1 paper 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

2 of 28 references.

References · 2

  1. 2023A Kripke-Lewis semantics for belief update and belief revisioncited by 4
  2. 2023Characterization of AGM Belief Contraction in Terms of Conditionalscited by 1

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.

  1. 2026The logic of KM belief update is contained in the logic of AGM belief revisioncited by 0