AGM revision theory, extended by Gardenförs and Makinson's epistemic entrenchment framework, disting...