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 $B$, a bimodal conditional operato…