@article {D:minmod, title = {Minimally abnormal models in some adaptive logics}, journal = {Synthese}, volume = {125}, year = {2000}, pages = {5{\textendash}18}, abstract = {

In an adaptive logic APL, based on a (monotonic) non-standard logic PL, the consequences of Gamma can be defined in terms of a selection of the PL-models of Gamma. An important property of the adaptive logics ACLuN1, ACLuN2, ACLuNs1, and ACLuNs2 logics is proved: whenever a model is not selected, this is justified in terms of a selected model (Strong Reassurance). The property fails for Priest{\textquoteright}s LPm because of its way of measuring the degree of abnormality of a model is incoherent{\textendash}-correcting this delivers the property.

}, author = {Batens, Diderik} }