Adaptive logics using the minimal abnormality strategy are Pi11 -complex

Peter Verdée

pp. 93-104

in: Synthese 167 (1), 2009.

Abstract

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.