Zeitschrift | Band | Artikel
Adaptive logics using the minimal abnormality strategy are Pi11 -complex
pp. 93-104
Abstrakt
In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is (Pi_1^1) -complete. So, the complexity results in (Horsten and Welch, Synthese 158:41–60, 2007) are mistaken for adaptive logics using the minimal abnormality strategy.
Publication details
Published in:
(2009) Synthese 167 (1).
Seiten: 93-104
DOI: 10.1007/s11229-007-9291-5
Referenz:
Verdée Peter (2009) „Adaptive logics using the minimal abnormality strategy are Pi11 -complex“. Synthese 167 (1), 93–104.