A modal logic translation of the AGM axioms for belief revision
This work addresses a foundational issue in formal logic and AI for researchers in belief revision, but it is incremental as it builds directly on prior analysis.
The paper tackles the problem of formalizing AGM belief revision axioms by introducing a modal logic with three operators and providing corresponding modal axioms for each AGM axiom, establishing a characterization based on properties of Kripke-Lewis frames.
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.