The sound and complete R-calculus for revising propositional theories

DOI10.1007/S11432-014-5188-3zbMATH Open1497.03033OpenAlexW1174553173MaRDI QIDQ5046473FDOQ5046473

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

• On the logic of theory change: Partial meet contraction and revision functions
• Parallel belief revision: revising by sets of formulas
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional knowledge base revision and minimal change
• Propositional belief base update and minimal change
• Iterated belief revision, revised
• On the logic of iterated belief revision
• AGM 25 years. Twenty-five years of research in belief change
• Theory contraction and base contraction unified
• A foundational theory of belief and belief change
• Title not available (Why is that?)

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)