Iterated descriptor revision and the logic of Ramsey test conditionals
From MaRDI portal
Publication:312498
DOI10.1007/s10992-015-9381-7zbMath1392.03025OpenAlexW2191828718MaRDI QIDQ312498
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
conditionalsdescriptor revisionRamsey testcumulative reasoningDarwiche-Pearl postulatesiterated revision
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