Adaptive logics using the minimal abnormality strategy are $$Pi^1_1$$ -complex
Authors:
Peter Verdée
Affiliation:
(1) Centre for Logic and Philosophy of Science, Ghent University, Blandijnberg 2, Gent, 9000, Belgium
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 -complete. So, the complexity results in (Horsten and Welch, Synthese 158:41–60, 2007) are mistaken for adaptive logics using the minimal abnormality strategy.