On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics

• Authors: Sergei P. Odintsov , Stanislav O. Speranski
• Languages of publication: EN

Abstracts

EN

The present paper is devoted to computational aspects of propo- sitional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of deriv- ability in such logics, namely in cases of CLuNrand CLuNm, i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

Keywords

EN

Inconsistency-adaptive logics; non-monotonic logic; dynamic reasoning; reliability strategy; minimal abnormality strategy; computational complexity; expressiveness

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2012
• Volume: 21
• Issue: 3
• Pages: 209-228

Dates

published

2012-09-01

online

2013-07-02

Contributors

author

Sergei P. Odintsov

• Sobolev Institute of Mathematics 4 Acad. Koptyug avenue 630090, Novosibirsk, Russia and Novosibirsk State University 2 Pirogova St. 630090, Novosibirsk, Russia

author

Stanislav O. Speranski

• Sobolev Institute of Mathematics 4 Acad. Koptyug avenue 630090, Novosibirsk, Russia and Novosibirsk State University 2 Pirogova St. 630090, Novosibirsk, Russia

References

• [1] Batens, D., “Inconsistency-adaptive logics’;, pages 445-472 in: E. Orłowska (ed.), Logic at Work. Essays dedicated to the memory of Helena Rasiowa, Springer, Heidelberg, New York, 1999,
• [2] Batens, D.,“A general characterization of adaptive logics”, Logique et Anal- yse 173-174-175 (2001): 45-68.
• [3] Batens, D., “A procedural criterion for final derivability in inconsistencyadaptive logics”, Journal of Applied Logic 3 (2005): 221-250.
• [4] Batens, D. “Adaptive logics and dynamic proofs”, manuscript, available at http://logica.ugent.be/adlog/book.html
• [5] Horsten, L., and P. Welch, “The undecidability of propositional adaptive logic”, Synthese 158 (2007): 41-60.[WoS]
• [6] Smorynski, C., Self-reference and Modal Logic, Springer, Berlin, 1985.
• [7] Verdee, P.,“Adaptive logics using the minimal abnormality strategy are Π11 -complex”, Synthese 167 (2009): 93-104.[WoS]
• [8] Verdee, P., “A proof procedure for adaptive logics”, to appear in Logical Journal of IGPL.

Identifiers

DOI

10.12775/LLP.2012.011