Specified meet contraction

DOI10.1007/s10670-007-9088-4zbMath1155.03010MaRDI QIDQ946198

Sven Ove Hansson

Publication date: 22 September 2008

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-007-9088-4

zbMATH Keywords

contraction; belief change; AGM; sentential selectors

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

Related Items

OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION, Bootstrap contraction, Eradication, Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches, AGM 25 years. Twenty-five years of research in belief change, Multiple and iterated contraction reduced to single-step single-sentence contraction, Finite contractions on infinite belief sets, Repertoire contraction, Blockage contraction, Maximal and perimaximal contraction

Cites Work

• Unnamed Item
• Two methods of constructing contractions and revisions of knowledge systems
• On the status of the postulate of recovery in the logic of theory change
• Belief contraction without recovery
• A survey of multiple contractions
• Severe withdrawal (and recovery)
• A textbook of belief dynamics. Theory change and database updating
• Theory contraction and base contraction unified
• On the logic of theory change: Partial meet contraction and revision functions
• Belief contraction in the context of the general theory of rational choice
• Kernel contraction
• Irrevocable belief revision and epistemic entrenchment