The sound and complete R-calculus for revising propositional theories

DOI10.1007/S11432-014-5188-3MaRDI QIDQ5046473zbMATH OpenOpenAlexFDO

Authors Wei Li, Yuefei Sui, Meiying Sun

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites work

• scientific article; zbMATH DE number 193626 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A foundational theory of belief and belief change
• AGM 25 years. Twenty-five years of research in belief change
• Iterated belief revision, revised
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Parallel belief revision: revising by sets of formulas
• Propositional belief base update and minimal change
• Propositional knowledge base revision and minimal change
• Theory contraction and base contraction unified

This page was built for publication: The sound and complete R-calculus for revising propositional theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046473)