Matches in UGent Biblio for { ?s ?p 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 its way of measuring the degree of abnormality of a model is incoherent - correcting this delivers the property.. }
Showing items 1 to 1 of
1
with 100 items per page.
- aggregation 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's LPm because its way of measuring the degree of abnormality of a model is incoherent - correcting this delivers the property.".