Abstract
Epistemic entrenchment, as presented by Gärdenfors and Makinson (1988) and Gärdenfors (1988), is a formalisation of the intuition that, when forced to choose between two beliefs, an agent will giveup the less entrenched one. While their formalisation satisfactorilycaptures the intuitive notion of the entrenchment of beliefs in a number ofaspects, the requirement that all wffs be comparable has drawn criticismfrom various quarters. We define a set of refined versions of theirentrenchment orderings that are not subject to the same criticism, andinvestigate the relationship between the refined entrenched orderings,the entrenchment orderings of Gärdenfors and Makinson, and AGM theorycontraction (Alchourrón et al., 1985). To conclude, we compare refinedentrenchment with two related approaches to epistemic entrenchment.