The sound and complete R-calculus for revising propositional theories
From MaRDI portal
Publication:5046473
DOI10.1007/s11432-014-5188-3zbMath1497.03033OpenAlexW1174553173MaRDI QIDQ5046473
Wei Li, Meiying Sun, Yuefei Sui
Publication date: 28 October 2022
Published in: Science China Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11432-014-5188-3
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parallel belief revision: revising by sets of formulas
- AGM 25 years. Twenty-five years of research in belief change
- Iterated belief revision, revised
- Propositional knowledge base revision and minimal change
- A foundational theory of belief and belief change
- On the logic of iterated belief revision
- Propositional belief base update and minimal change
- Theory contraction and base contraction unified
- On the logic of theory change: Partial meet contraction and revision functions
This page was built for publication: The sound and complete R-calculus for revising propositional theories
