%0 Journal Article %J Synthese %D 2000 %T Minimally abnormal models in some adaptive logics %A Batens, Diderik %X

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's LPm because of its way of measuring the degree of abnormality of a model is incoherent–-correcting this delivers the property.

%B Synthese %V 125 %P 5–18 %G eng