Theory contraction through base contraction
From MaRDI portal
Publication:757344
DOI10.1007/BF00284974zbMath0723.03010OpenAlexW2006162039MaRDI QIDQ757344
Publication date: 1991
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00284974
Related Items (51)
Foundational belief change ⋮ Changes in preference ⋮ Discursive logic. Towards a logic of rational discourse ⋮ Changing the Scientific Corpus ⋮ Editor's introduction to the special issue on belief revision ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ On the revision of probabilistic belief states ⋮ Observations on validity and conditionals in belief revision systems ⋮ Knowledge base dynamics, abduction, and database updates ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ A framework for controlling model-based diagnosis systems with multiple actions ⋮ Knowledge-level analysis of belief base operations ⋮ A theory of change for prioritised resilient and evolvable software systems ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Filtered belief revision: syntax and semantics ⋮ Deductive belief change ⋮ Non-prioritized ranked belief change ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Possible worlds semantics for partial meet multiple contraction ⋮ System of spheres-based multiple contractions ⋮ Characterization of AGM Belief Contraction in Terms of Conditionals ⋮ Theory Contraction and Base Contraction Unified ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations ⋮ Unnamed Item ⋮ Redundancy in logic. I: CNF propositional formulae ⋮ Belief contraction without recovery ⋮ A foundationalist view of the AGM theory of belief change ⋮ In defense of base contraction ⋮ Rational evaluation in belief revision ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ On AGM for non-classical logics ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ Descriptor revision ⋮ The game of inquiry: The interrogative approach to inquiry and belief revision theory ⋮ Back to basics: belief revision through direct selection ⋮ A proof-theoretic view of necessity ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ Recovery recovered ⋮ Selective base revisions ⋮ Belief change as change in epistemic entrenchment ⋮ Belief revision in the service of scientific discovery ⋮ On having bad contractions, or: no room for recovery ⋮ A representation theorem for recovering contraction relations satisfying wci ⋮ Reversing the Levi identity ⋮ A Plea for Accuracy ⋮ A survey of multiple contractions ⋮ Systematic withdrawal ⋮ Contracting intuitionistic theories ⋮ Changes of disjunctively closed bases
This page was built for publication: Theory contraction through base contraction
