Repository | Journal | Volume | Articles

COPR BookmarkLink
236370

(2009) Synthese 167 (1).

Adaptive logics using the minimal abnormality strategy are Pi11 -complex

Peter Verdée

pp. 93-104

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

DOI: 10.1007/s11229-007-9291-5

Full citation:

Verdée, P. (2009). Adaptive logics using the minimal abnormality strategy are Pi11 -complex. Synthese 167 (1), pp. 93-104.

This document is unfortunately not available for download at the moment.