Template-Type: ReDIF-Paper 1.0
Author-Name: Giacomo Bonanno
Author-Name-First: Giacomo
Author-Name-Last: Bonanno
Author-Workplace-Name: Department of Economics, University of California Davis
Title: A modal logic translation of the AGM axioms for belief revision
Abstract: Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, 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 (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom.
Length: 19
File-URL: https://repec.dss.ucdavis.edu/files/42b8il3c6jtbyx88dwpgz8iy30wx/Modal_AGM.pdf
File-Format: application/pdf
Number: 368
Classification-JEL: C0
KeyWords: Belief revision, conditionals, counterfactuals, Kripke relation, Lewis selection function, modal logic, frame correspondence
Creation-Date: 20250219
Handle: RePEc:cda:wpaper:368