Multiple and iterated contraction reduced to single-step single-sentence contraction

DOI10.1007/s11229-009-9688-4zbMath1211.03028OpenAlexW1968841476MaRDI QIDQ987465

Sven Ove Hansson

Publication date: 13 August 2010

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9688-4

zbMATH Keywords

multiple contractionfull meet contractioniterated contractionspecified meet contraction

Mathematics Subject Classification ID

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

Related Items

Inter-definability of Horn contraction and Horn revision ⋮ Iterated Contraction Based on Indistinguishability ⋮ Changing the Scientific Corpus ⋮ EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS ⋮ Rational evaluation in belief revision ⋮ AGM 25 years. Twenty-five years of research in belief change

Cites Work

• Specified meet contraction
• A survey of multiple contractions
• A note on partial meet package contraction
• A paraconsistent theory of belief revision
• Multiple kernel contraction
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• Logic Programming and Nonmonotonic Reasoning
• Contraction Based on Sentential Selection
• New operators for theory change
• Infinitary belief revision
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multiple and iterated contraction reduced to single-step single-sentence contraction