More subtle theory change
Abstract
In this paper, I derive a syntactic procedure for revising theories in propositional logic from considerations of indifference and informational economy (minimality). The procedure is very flexible. It allows us to make use of information about the relative epistemic merit (entrenchment) of the sentences in the theories whenever such information is available, and, unlike other procedures proposed in the literature, yields plausible results even for very simple entrenchment orderings