Belief contraction without recovery

DOI10.1007/BF00370186zbMath0748.03008OpenAlexW2030151461WikidataQ59699513 ScholiaQ59699513MaRDI QIDQ1181487

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370186

zbMATH Keywords

belief revision contraction method belief bases core-retainment preservative withdrawal recovery postulate

Mathematics Subject Classification ID

Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Foundational belief change ⋮ Blockage contraction ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Iterated Contraction Based on Indistinguishability ⋮ Shielded base contraction ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Levi contractions and AGM contractions: A comparison ⋮ Knowledge base dynamics, abduction, and database updates ⋮ Knowledge-level analysis of belief base operations ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Filtered belief revision: syntax and semantics ⋮ Equilibria in social belief removal ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ Possible worlds semantics for partial meet multiple contraction ⋮ Characterization of AGM Belief Contraction in Terms of Conditionals ⋮ Theory Contraction and Base Contraction Unified ⋮ Maximal and perimaximal contraction ⋮ Accommodative Belief Revision ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations ⋮ Unnamed Item ⋮ Transmission failure, AGM style ⋮ Minimal change: relevance and recovery revisited ⋮ Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ Specified meet contraction ⋮ On a logico-algebraic approach to AGM belief contraction theory ⋮ Rational evaluation in belief revision ⋮ How to deal with unbelievable assertions ⋮ Theorem proving techniques for view deletion in databases ⋮ A general family of preferential belief removal operators ⋮ Repertoire contraction ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ The game of inquiry: The interrogative approach to inquiry and belief revision theory ⋮ Back to basics: belief revision through direct selection ⋮ OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION ⋮ Replacement -- a Sheffer stroke for belief change ⋮ Extensive Questions ⋮ Two AGM-style characterizations of model repair ⋮ Probability, coherent belief and coherent belief changes ⋮ Local Diagnosis ⋮ On the Ramsey test analysis of `because' ⋮ Trust is all you need: from belief revision to information revision ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Preference-based belief revision for rule-based agents ⋮ Severe withdrawal (and recovery) ⋮ Iterated belief change and the recovery axiom ⋮ Recovery recovered ⋮ Residual contraction ⋮ On having bad contractions, or: no room for recovery ⋮ Explanations, belief revision and defeasible reasoning. ⋮ Reversing the Levi identity ⋮ Theory contraction and base contraction unified ⋮ A Plea for Accuracy ⋮ A survey of multiple contractions ⋮ Formalization in Philosophy ⋮ Systematic withdrawal ⋮ Book review of: Neil Tennant, Changes of mind. An essay on rational belief revision ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result ⋮ Changes of disjunctively closed bases

Cites Work