Two methods of constructing contractions and revisions of knowledge systems

DOI10.1007/BF00284973MaRDI QIDQ757343zbMATH OpenOpenAlexFDO

Authors 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

beliefrevisionepistemic entrenchmentAGM approachEE approachiterated contractionslogic of theory changepartial meet contraction functions

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
• On the logic of theory change: Partial meet contraction and revision functions
• New foundations for a relational theory of theory-revision
• Publication:3495345
• scientific article; zbMATH DE number 1784997

Cited in

(31)

• Contraction: On the decision-theoretical origins of minimal change and entrenchment
• Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision
• Revision by comparison
• Semi-contraction: Axioms and construction
• Specified meet contraction
• A simple modal logic for belief revision
• scientific article; zbMATH DE number 1784997 (Why is no real title available?)
• New foundations for a relational theory of theory-revision
• An investigation of parametrized difference revision operators
• scientific article; zbMATH DE number 1784998 (Why is no real title available?)
• On the logic of theory change: Partial meet contraction and revision functions
• Levi contractions and AGM contractions: A comparison
• Contracting intuitionistic theories
• Two modellings for theory change
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Severe withdrawal (and recovery)
• A glance at revision and updating in knowledge bases
• Ordering-based representations of rational inference
• scientific article; zbMATH DE number 4008356 (Why is no real title available?)
• scientific article; zbMATH DE number 4168658 (Why is no real title available?)
• Comparative possibility in set contraction
• Constructive modelings for theory change
• Studies on brutal contraction and severe withdrawal
• Belief contraction in the context of the general theory of rational choice
• Belief change as change in epistemic entrenchment
• Nonmonotonic inference based on expectations
• Irrevocable belief revision in dynamic doxastic logic
• Compromised updates in labelled databases
• A panorama of iterated revision
• On knowledge evolution: acquisition, revision, contraction
• Editor's introduction to the special issue on belief revision

This page was built for publication: Two methods of constructing contractions and revisions of knowledge systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757343)