Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
type: Item
instance of: scholarly article
title: Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
zbMATH Open document ID: 1172.03018
author: Peter Verdée
published in: Synthese
publication date: 2009-08-11T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 5593765
zbMATH Keywords: adaptive logics
zbMATH Keywords: minimal abnormality
zbMATH Keywords: complexity
zbMATH Keywords: dynamic proofs
zbMATH Keywords: \(\Pi_1^1\)-complete sets
MaRDI profile type: Publication
full work available at URL: s11229-007-9291-5
OpenAlex ID: W2055448233
cites work: Q5711868
cites work: A universal logic approach to adaptive logics
cites work: Q3003824
cites work: Yes fellows, most human reasoning is complex
cites work: Q3148848
cites work: The undecidability of propositional adaptive logic
cites work: On the complexity of reasoning in Kleene algebra
cites work: Q5573961
DOI: 10.1007/S11229-007-9291-5
Recommended article: Minimally abnormal models in some adaptive logics
Recommended article: Q3086693
Recommended article: Q4811768
Recommended article: Two new strategies for inconsistency-adaptive logics
Recommended article: An adaptive logic based on Jaśkowski's approach to paraconsistency
Recommended article: Q4329290
Recommended article: Q2973445
Recommended article: Q5695176
Recommended article: A proof procedure for adaptive logics
Recommended article: Q4424660
description: scientific article; zbMATH DE number 5593765