Characterization of AGM Belief Contraction in Terms of Conditionals

DOI10.4204/EPTCS.379.13arXiv2307.05629OpenAlexW4383646168MaRDI QIDQ6199604FDOQ6199604

Authors: Giacomo Bonanno 

Publication date: 28 February 2024

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

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.

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Two modellings for theory change
• Belief contraction without recovery
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the status of the postulate of recovery in the logic of theory change
• AGM 25 years. Twenty-five years of research in belief change
• Iterated belief change and the recovery axiom
• Severe withdrawal (and recovery)
• Title not available (Why is that?)
• Theory contraction through base contraction
• Recovery and epistemic residue
• Title not available (Why is that?)
• Systematic withdrawal
• Belief Change
• On the logic of theory change: Contraction without recovery
• The Ramsey test revisited*
• Title not available (Why is that?)
• Semi-contraction: Axioms and construction
• Title not available (Why is that?)
• On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity

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)