@article {DJ:compat, title = {The Adaptive Logic of Compatibility}, journal = {Studia Logica}, volume = {66}, year = {2000}, pages = {327{\textendash}348}, abstract = {

This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5 from which it follows that a specific subset of the standard worlds-models is characteristic for S5.

Keywords: compatibility, adaptive logic, ampliative reasoning, S5-semantics.

}, author = {Batens, Diderik and Meheus, Joke} }