<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Minimally abnormal models in some adaptive logics</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><volume><style face="normal" font="default" size="100%">125</style></volume><pages><style face="normal" font="default" size="100%">5–18</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In an adaptive logic &lt;strong&gt;APL&lt;/strong&gt;, based on a (monotonic) non-standard logic &lt;strong&gt;PL&lt;/strong&gt;, the consequences of &lt;img src=&quot;ggamma.gif&quot; alt=&quot;Gamma&quot; /&gt; can be defined in terms of a selection of the &lt;strong&gt;PL&lt;/strong&gt;-models of &lt;img src=&quot;ggamma.gif&quot; alt=&quot;Gamma&quot; /&gt;. An important property of the adaptive logics &lt;strong&gt;ACLuN1&lt;/strong&gt;, &lt;strong&gt;ACLuN2&lt;/strong&gt;, &lt;strong&gt;ACLuNs1&lt;/strong&gt;, and &lt;strong&gt;ACLuNs2&lt;/strong&gt; 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 &lt;strong&gt;LP&lt;/strong&gt;&lt;sup&gt;m&lt;/sup&gt; because of its way of measuring the degree of abnormality of a model is incoherent–-correcting this delivers the property.&lt;/p&gt;</style></abstract></record></records></xml>