Reversing the Levi identity

DOI10.1007/BF01054039zbMath0788.03033OpenAlexW2032245524WikidataQ59699515 ScholiaQ59699515MaRDI QIDQ1310625

Sven Ove Hansson

Publication date: 5 June 1994

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

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

zbMATH Keywords

contractionconsequence operationbelief changerevisionbelief basesclosure conditionpartial meet operations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Foundational belief change ⋮ Changes in preference ⋮ Shielded base contraction ⋮ A Unifying Perspective on Knowledge Updates ⋮ Editor's introduction to the special issue on belief revision ⋮ The measurement of ranks and the laws of iterated contraction ⋮ Knowledge-level analysis of belief base operations ⋮ A test battery for rational database updating ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches ⋮ AGM contraction and revision of rules ⋮ Stratified belief bases revision with argumentative inference ⋮ Theory Contraction and Base Contraction Unified ⋮ Negative doxastic voluntarism and the concept of belief ⋮ Partial meet pseudo-contractions ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations ⋮ Unnamed Item ⋮ Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change ⋮ In defense of base contraction ⋮ Reasoning with Uncertain and Inconsistent OWL Ontologies ⋮ Scientific discovery based on belief revision ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ On AGM for non-classical logics ⋮ A theory of permission based on the notion of derogation ⋮ Selective base revisions ⋮ Belief change as change in epistemic entrenchment ⋮ Residual contraction ⋮ A simple and non-trivial Ramsey test ⋮ Semi-revision ⋮ On revising fuzzy belief bases ⋮ Policy-based inconsistency management in relational databases ⋮ Changes of disjunctively closed bases

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
• In defense of base contraction
• Subjunctives, dispositions and chances
• Foundational belief change
• On the logic of theory change: Partial meet contraction and revision functions
• New operators for theory change
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item