No label defined (Q4546704)

The AGM model can be seen as a multitude of seemingly quite distinct semantic intuitions that all converge on the same theory. In 1991, Lindström and Rabinowicz challenged the linearity assumption on systems of spheres, and, in 1992, Rott proposed a different way of weakening the assumptions put on the original notion of epistemic entrenchment. In the paper it is shown that these two directions are closely related, in some important cases even equivalent. The two notions of epistemic entrenchment are related, but in a rather roundabout manner, which seems easiest to be explicated by their mutual relationship to hypertheories. The analysis of this relationship is the core of the paper. Also a version of DDL (Dynamic Doxastic Logic) is studied -- one that does not contain a relation of epistemic entrenchment. A strongly complete finitary axiomatization of skeptical, recovery-style contractions is presented. For the entire collection see [Zbl 0982.00012].