Characterization of AGM Belief Contraction in Terms of Conditionals

DOI10.4204/EPTCS.379.13MaRDI QIDQ6199604OpenAlexFDO

Authors Giacomo Bonanno

Publication date 28 February 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2307.05629

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Abstract: We provide a semantic characterization of AGM belief contraction based on frames consisting of a Kripke belief relation and a Stalnaker-Lewis selection function. The central idea is as follows. Let K be the initial belief set and K-A be the contraction of K by the formula A; then B belongs to the set K-A if and only if, at the actual state, the agent believes B and believes that if not-A is (were) the case then B is (would be) the case.

Recommendations

• Specified meet contraction
• Theory contraction and base contraction unified
• scientific article; zbMATH DE number 1784997
• On the logic of theory change: Contraction without recovery
• An Axiomatic Characterization of Ensconcement-Based Contraction

Cites work

• scientific article; zbMATH DE number 1241662 (Why is no real title available?)
• scientific article; zbMATH DE number 1269567 (Why is no real title available?)
• scientific article; zbMATH DE number 1333622 (Why is no real title available?)
• scientific article; zbMATH DE number 1333630 (Why is no real title available?)
• A conditional perspective for iterated belief contraction
• A textbook of belief dynamics. Theory change and database updating
• AGM 25 years. Twenty-five years of research in belief change
• Belief change. Introduction and overview
• Belief contraction without recovery
• Iterated belief change and the recovery axiom
• Knowledge in flux. Modeling the dynamics of epistemic states
• On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
• On the logic of theory change: Contraction without recovery
• On the logic of theory change: Partial meet contraction and revision functions
• On the status of the postulate of recovery in the logic of theory change
• Recovery and epistemic residue
• Semi-contraction: Axioms and construction
• Severe withdrawal (and recovery)
• Systematic withdrawal
• The Ramsey test revisited*
• Theory contraction through base contraction
• Two modellings for theory change

This page was built for publication: Characterization of AGM Belief Contraction in Terms of Conditionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6199604)