Two methods of constructing contractions and revisions of knowledge systems

DOI10.1007/BF00284973zbMath0723.03009OpenAlexW2036991004MaRDI QIDQ757343

Hans Rott

Publication date: 1991

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

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

zbMATH Keywords

epistemic entrenchmentbeliefrevisionAGM approachEE approachiterated contractionslogic of theory changepartial meet contraction functions

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision, Editor's introduction to the special issue on belief revision, Levi contractions and AGM contractions: A comparison, Constructive modelings for theory change, Contraction: On the decision-theoretical origins of minimal change and entrenchment, A glance at revision and updating in knowledge bases, Comparative possibility in set contraction, Belief Contraction in the Context of the General Theory of Rational Choice, Specified meet contraction, Studies on brutal contraction and severe withdrawal, Irrevocable belief revision in dynamic doxastic logic, Semi-contraction: Axioms and construction, Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators, An investigation of parametrized difference revision operators, Severe withdrawal (and recovery), Ordering-based representations of rational inference, Belief change as change in epistemic entrenchment, A Panorama of Iterated Revision, On knowledge evolution: acquisition, revision, contraction, Nonmonotonic inference based on expectations, A simple modal logic for belief revision, Revision by comparison