Publisher:
University of California, Department of Economics, Davis, CA
Abstract:
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 correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (2025) and, in turn, that property characterizes the proposed modal axiom.