A modal logic translation of the AGM axioms for belief revision

Giacomo Bonanno
Additional contact information
Giacomo Bonanno: Department of Economics, University of California Davis

No 368, Working Papers from University of California, Davis, Department of Economics

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.

Keywords: Belief revision; conditionals; counterfactuals; Kripke relation; Lewis selection function; modal logic; frame correspondence (search for similar items in EconPapers)
JEL-codes: C0 (search for similar items in EconPapers)
Pages: 19
Date: 2025-02-19
New Economics Papers: this item is included in nep-inv
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://repec.dss.ucdavis.edu/files/42b8il3c6jtbyx88dwpgz8iy30wx/Modal_AGM.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cda:wpaper:368

Access Statistics for this paper

More papers in Working Papers from University of California, Davis, Department of Economics Contact information at EDIRC.
Bibliographic data for series maintained by Letters and Science IT Services Unit ().