The AGM recovery postulate says: assume a set of propositions X ; assume that it is consistent and that it is closed under logical consequences; remove a belief P from the set minimally, but make sure that the resultant set is again some set of propositions X ′ which is closed under the logical consequences; now add P again and close the set under the logical consequences; and we should get a s...