On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics
Logic and Logical Philosophy 21 (3):209-228 (2012)
Abstract
The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectivelyDOI
10.12775/llp.2012.011
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
Adaptive logics using the minimal abnormality strategy are P 1 1 \pi^1_1 -complex.Peter Verdée - 2009 - Synthese 167 (1):93 - 104.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
HL2, an inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions.Guido Vanackere - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):317-338.
Shortcuts and dynamic marking in the tableau method for adaptive logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
Majority merging by adaptive counting.Giuseppe Primiero & Joke Meheus - 2008 - Synthese 165 (2):203 - 223.
A dynamic semantics for inconsistency-adaptive logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
Analytics
Added to PP
2013-11-24
Downloads
440 (#24,978)
6 months
1 (#451,398)
2013-11-24
Downloads
440 (#24,978)
6 months
1 (#451,398)
Historical graph of downloads
Citations of this work
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
References found in this work
Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
Adaptive logics using the minimal abnormality strategy are P 1 1 \pi^1_1 -complex.Peter Verdée - 2009 - Synthese 167 (1):93 - 104.
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
