Minimally Abnormal Models In Some Adaptive Logics |
| |
Authors: | Batens Diderik |
| |
Institution: | (1) Centre for Logic and Philosophy of Science University of Ghent, Ghent, Belgium |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|