Iterated descriptor revision and the logic of Ramsey test conditionals

DOI10.1007/s10992-015-9381-7zbMath1392.03025OpenAlexW2191828718MaRDI QIDQ312498

Sven Ove Hansson

Publication date: 15 September 2016

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

Full work available at URL: https://doi.org/10.1007/s10992-015-9381-7

zbMATH Keywords

conditionalsdescriptor revisionRamsey testcumulative reasoningDarwiche-Pearl postulatesiterated revision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (6)

Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ What is a Paraconsistent Logic? ⋮ Back to basics: belief revision through direct selection ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ The co-occurrence test for non-monotonic inference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relations of epistemic proximity for belief change
• AGM 25 years. Twenty-five years of research in belief change
• Iterated belief revision
• Quick completeness proofs for some logics of conditionals
• Specified meet contraction
• Iterated belief revision, revised
• Nonmonotonic reasoning, preferential models and cumulative logics
• Belief contraction without recovery
• Belief revision, epistemic conditionals and the Ramsey test
• On the logic of iterated belief revision
• A textbook of belief dynamics. Theory change and database updating
• Descriptor revision
• Blockage contraction
• Distance semantics for belief revision
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• On the logic of theory change: Partial meet contraction and revision functions
• Credibility limited revision
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• A framework for iterated revision
• On Conditionals
• OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION
• A Panorama of Iterated Revision
• Measurement Theory
• The axiom of choice

This page was built for publication: Iterated descriptor revision and the logic of Ramsey test conditionals