Showing cs.LOShow all
2 papers · 1 filter
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…