A sound and complete \(R\)-calculi with respect to contraction and minimal change

DOI10.1007/S11704-014-3102-1zbMath1425.68395OpenAlexW2016353269MaRDI QIDQ2418664

Wei Li, Yuefei Sui

Publication date: 28 May 2019

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-014-3102-1

zbMATH Keywords

contractionbelief revisionminimal change\(R\)-calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• 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: A sound and complete \(R\)-calculi with respect to contraction and minimal change