Theory contraction and base contraction unified
From MaRDI portal
Publication:3138015
DOI10.2307/2275221zbMath0785.03012OpenAlexW4245043563MaRDI QIDQ3138015
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
Related Items
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
