Enhanced Contraction and (In)dependence Preliminary report
Alexander Bochman · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007
We introduce a number of contraction operations that allow us to preserve more information in the process of belief contraction and revision of our epistemic states. One of them, choice contraction, will be argued to characterise basic (in)dependence relations among propositions belonging to the epistemic state.