Contraction in Propositional Logic

DOI10.1007/978-3-319-20807-7_17zbMath1465.03059OpenAlexW938174352MaRDI QIDQ3451176

Thomas Caridroit, Sébastien Konieczny, Pierre Marquis

Publication date: 10 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20807-7_17

Mathematics Subject Classification ID

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

Related Items (1)

Contraction in Propositional Logic

Cites Work

• 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
• Contraction in Propositional Logic
• On the logic of theory change: Partial meet contraction and revision functions
• Belief contraction in the context of the general theory of rational choice
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Contraction in Propositional Logic