@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 can be defined in terms of a selection of the PL-models of . 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} }