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 <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mi>B</mml:mi> </mml:math> , a bimodal conditional operator &gt; and the unimodal global operator <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mi>◻</mml:mi> </mml:math> . 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.