Theory contraction and base contraction unified

DOI10.2307/2275221zbMath0785.03012OpenAlexW4245043563MaRDI QIDQ3138015

Sven Ove Hansson

Publication date: 24 October 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275221

zbMATH Keywords

base contractiontheory changepartial meet contractionlogic of belief change

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (34)

On the logic of theory change: Partial meet contraction and revision functions ⋮ The sound and complete R-calculus for revising propositional theories ⋮ Changes in preference ⋮ Blockage contraction ⋮ Knowledge base dynamics, abduction, and database updates ⋮ Bootstrap contraction ⋮ Knowledge-level analysis of belief base operations ⋮ A test battery for rational database updating ⋮ A sound and complete \(R\)-calculi with respect to contraction and minimal change ⋮ Double preference relations for generalised belief change ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Equilibria in social belief removal ⋮ Deductive belief change ⋮ Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ Maximal and perimaximal contraction ⋮ Unnamed Item ⋮ A foundationalist view of the AGM theory of belief change ⋮ Specified meet contraction ⋮ Repertoire contraction ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Notes on the history of ideas behind AGM ⋮ Back to basics: belief revision through direct selection ⋮ OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION ⋮ Impossibility results for belief contraction ⋮ A computationally grounded logic of graded belief ⋮ Rethinking epistemic logic with belief bases ⋮ Preference-based belief revision for rule-based agents ⋮ Coherentist contraction ⋮ Belief liberation (and retraction) ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ A representation theorem for recovering contraction relations satisfying wci ⋮ A Plea for Accuracy ⋮ Systematic withdrawal

Cites Work

• Unnamed Item
• Unnamed Item
• On the status of the postulate of recovery in the logic of theory change
• Belief contraction without recovery
• In defense of base contraction

This page was built for publication: Theory contraction and base contraction unified