The co-occurrence test for non-monotonic inference

DOI10.1016/J.ARTINT.2016.01.012zbMath1352.03023OpenAlexW2252115134MaRDI QIDQ253982

Sven Ove Hansson

Publication date: 8 March 2016

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2016.01.012

zbMATH Keywords

belief revisionconditionalsco-occurrence testdescriptor revisionnonmonotonic inferenceRamsey test

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Relations of epistemic proximity for belief change
• A monoselective presentation of AGM revision
• Two modellings for theory change
• A refined theory of counterfactuals
• Nonmonotonic reasoning, preferential models and cumulative logics
• Nonmonotonic inference based on expectations
• A survey of non-prioritized belief revision
• Belief revision, conditional logic and nonmonotonic reasoning
• Descriptor revision
• WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?
• Theory Contraction and Base Contraction Unified
• Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
• On the logic of theory change: Partial meet contraction and revision functions
• The axiom of choice
• Which modal logic is the right one?

This page was built for publication: The co-occurrence test for non-monotonic inference