3 papers
cs.AI2026
The logic of KM belief update is contained in the logic of AGM belief revision
Giacomo Bonanno
For each axiom of KM belief update we provide a corresponding axiom in a modal logic containing three modal operators: a unimodal belief operator , a bimodal conditional operato…
cs.LO2025
A modal logic translation of the AGM axioms for belief revision
Giacomo Bonanno
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 condit…
cs.LO2023
A Kripke-Lewis semantics for belief update and belief revision
Giacomo Bonanno
We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief…