On the status of the postulate of recovery in the logic of theory change

From MaRDI portal
Publication:1095131

DOI10.1007/BF00431184zbMath0632.03008OpenAlexW2080582842MaRDI QIDQ1095131

David Makinson

Publication date: 1987

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

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




Related Items (52)

A quantitative approach to belief revision in structured probabilistic argumentationFoundational belief changeA representation result for value-based contractionIterated Contraction Based on IndistinguishabilityEditor's introduction to the special issue on belief revisionBelief revision, conditional logic and nonmonotonic reasoningLevi contractions and AGM contractions: A comparisonTaking up Thagard's challenge: A formal model of conceptual revisionKnowledge base dynamics, abduction, and database updatesA Logic for Belief ContractionA framework for controlling model-based diagnosis systems with multiple actionsKnowledge-level analysis of belief base operationsBelief revision and computational argumentation: a critical comparisonFiltered belief revision: syntax and semanticsLevi and Harper identities for non-prioritized belief base changeCharacterization of AGM Belief Contraction in Terms of ConditionalsTheory Contraction and Base Contraction UnifiedPartial meet pseudo-contractionsUnnamed ItemA new psychologism in logic? Reflections from the point of view of belief revisionBelief contraction without recoveryMinimal change: relevance and recovery revisitedA foundationalist view of the AGM theory of belief changeSpecified meet contractionOn a logico-algebraic approach to AGM belief contraction theoryIn defense of base contractionAGM 25 years. Twenty-five years of research in belief changeNotes on the history of ideas behind AGMBack to basics: belief revision through direct selectionSemi-contraction: Axioms and constructionNew foundations for a relational theory of theory-revisionImpossibility results for belief contractionOn the Ramsey test analysis of `because'Four ways in which theories of belief revision could benefit from theories of epistemic justificationEfficient multi-agent epistemic planning: teaching planners about nested beliefPreference-based belief revision for rule-based agentsSevere withdrawal (and recovery)On the degeneracy of the full AGM-theory of theory-revisionIterated belief change and the recovery axiomRecovery recoveredBelief liberation (and retraction)Gricean belief changeOn knowledge evolution: acquisition, revision, contractionOn having bad contractions, or: no room for recoverySemi-revisionReversing the Levi identityTheory contraction and base contraction unifiedA Plea for AccuracyA survey of multiple contractionsSystematic withdrawalNonmonotonic inference based on expectationsChanges of disjunctively closed bases



Cites Work


This page was built for publication: On the status of the postulate of recovery in the logic of theory change