DagSemProc.07351.11.pdf
- Filesize: 108 kB
- 4 pages
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.
Feedback for Dagstuhl Publishing