Contraction in propositional logic

DOI10.1016/j.ijar.2016.06.010zbMath1401.03041OpenAlexW2471885182MaRDI QIDQ2374542

Thomas Caridroit, Pierre Marquis, Sébastien Konieczny

Publication date: 15 December 2016

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2016.06.010

zbMATH Keywords

contractionbelief changerevision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

Elementary belief revision operators ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AGM 25 years. Twenty-five years of research in belief change
• Iterated belief revision, revised
• Two modellings for theory change
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• A textbook of belief dynamics. Theory change and database updating
• The measurement of ranks and the laws of iterated contraction
• Belief revision in Horn theories
• On the logic of theory change: Partial meet contraction and revision functions
• Error Detecting and Error Correcting Codes

This page was built for publication: Contraction in propositional logic