A Kripke-Lewis semantics for belief update and belief revision

Giacomo Bonanno ()

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

Abstract: We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a frame yields a model. Given a model and a state, we identify the initial belief set K with the set of formulas that are believed at that state and we identify either the updated belief set or the revised belief set, prompted by the input represented by formula A, as the set of formulas that are the consequent of conditionals that (1) are believed at that state and (2) have A as antecedent. We show that this class of models characterizes both the Katsuno-Mendelzon (KM) belief update functions and the AGM belief revision functions, in the following sense: (1) each model gives rise to a partial belief function that can be completed into a full KM/AGM update/revision function, and (2) for every KM/AGM update/revision function there is a model whose associated belief function coincides with it. The difference between update and revision can be reduced to two semantic properties that appear in a stronger form in revision relative to update, thus confirming the finding by Peppas et al. (1996) that, "for a fixed theory K, revising K is much the same as updating K"

Keywords: belief revision; belief update; indicative conditional; subjunctive conditional; belief relation; selection function; supposition; information. (search for similar items in EconPapers)
JEL-codes: C0 (search for similar items in EconPapers)
Pages: 37
Date: 2023-10-17
New Economics Papers: this item is included in nep-mic
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://repec.dss.ucdavis.edu/files/P3JCTSiRXZdRk6XgowAWpUmL/UpdRev.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:358

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 ().