- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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, respectivelyAuthor's Profile
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
460 (#39,656)
6 months
14 (#151,397)
2013-11-24
Downloads
460 (#39,656)
6 months
14 (#151,397)
Historical graph of downloads
Author's Profile
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-67rzb uwo