Zeitschrift | Band | Artikel
Minimally abnormal models in some adaptive logics
pp. 5-18
Abstrakt
In an adaptive logic APL, based on a (monotonic) non-standardlogic PL the consequences of Γ can be defined in terms ofa selection of the PL-models of Γ. An important property ofthe adaptive logics ACLuN1, ACLuN2, ACLuNs1, andACLuNs2 logics is proved: whenever a model is not selected, this isjustified in terms of a selected model (Strong Reassurance). Theproperty fails for Priest's LP m because its way of measuring thedegree of abnormality of a model is incoherent – correcting thisdelivers the property.
Publication details
Published in:
(2000) Synthese 125 (1-2).
Seiten: 5-18
Referenz:
Batens Diderik (2000) „Minimally abnormal models in some adaptive logics“. Synthese 125 (1-2), 5–18.