Building on the analysis of Bonanno (2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator B, a bimodal conditional operator and the unimodal global operator □. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The...