A survey of multiple contractions
From MaRDI portal
Publication:1314509
DOI10.1007/BF01066356zbMath0791.03014OpenAlexW1972689493WikidataQ29302557 ScholiaQ29302557MaRDI QIDQ1314509
André Fuhrmann, Sven Ove Hansson
Publication date: 7 July 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01066356
Related Items (44)
Inter-definability of Horn contraction and Horn revision ⋮ Blockage contraction ⋮ Changing the Scientific Corpus ⋮ Shielded base contraction ⋮ Editor's introduction to the special issue on belief revision ⋮ Levi contractions and AGM contractions: A comparison ⋮ Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction ⋮ Bootstrap contraction ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Eradication ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Possible worlds semantics for partial meet multiple contraction ⋮ Comparative possibility in set contraction ⋮ System of spheres-based multiple contractions ⋮ Stratified belief bases revision with argumentative inference ⋮ Overriding subsuming rules ⋮ Rational metabolic revision based on core beliefs ⋮ Unnamed Item ⋮ Maximal and perimaximal contraction ⋮ Unnamed Item ⋮ On the revision of informant credibility orders ⋮ Minimal change: relevance and recovery revisited ⋮ EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS ⋮ Specified meet contraction ⋮ Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ Rational evaluation in belief revision ⋮ Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions ⋮ Verisimilitude and belief change for conjunctive theories ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Back to basics: belief revision through direct selection ⋮ Semi-contraction: Axioms and construction ⋮ Multiple and iterated contraction reduced to single-step single-sentence contraction ⋮ Infinitary belief revision ⋮ The lexicographic closure as a revision process ⋮ On the Ramsey test analysis of `because' ⋮ Severe withdrawal (and recovery) ⋮ Bayesian belief revision based on Agent's criteria ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ Recovery recovered ⋮ Coherentist contraction ⋮ Residual contraction ⋮ Belief liberation (and retraction) ⋮ Belief contraction as nonmonotonic inference ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
Cites Work
- Theory contraction through base contraction
- On the status of the postulate of recovery in the logic of theory change
- Belief contraction without recovery
- Untersuchungen über das logische Schliessen. I
- On the logic of theory change: Partial meet contraction and revision functions
- New operators for theory change
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A survey of multiple contractions
