A Modal-Logic Translation of the AGM Axioms for Belief Revision <sup/>

Building on the analysis of Bonanno G. Artificial Intelligence 339 we introduce a simple modal logic containing three modal operators: a unimodal belief operator B , a bimodal conditional operator &gt; 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 G. Artificial Intelligence 339 and, in turn, that property characterizes the corresponding modal axiom.