Abstract
In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Batens, D., Adaptive Logics and Dynamic Proofs, manuscript, available at http://logica.ugent.be/adlog/book.html
Batens, D., A general characterization of adaptive logics, Logique et Analyse 173-174-175:45–68, 2001.
Batens, D., Inconsistency-adaptive logics, in E. Orlowska (ed.), Logic at Work. Essays dedicated to the memory of Helena Rasiowa, Physica-Verlag, Heidelberg, 1999, pp. 445–472.
Batens D.: A universal logic approach to adaptive logics. Logica Universalis 1(1), 221–242 (2007)
Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.
Cooper S.B.: Computability Theory. CRC Press, New York (2003)
Horsten L., Welch P.: The undecidability of propositional adaptive logic. Synthese 158(1), 41–60 (2007)
Odintsov S.P., Speranski S.O.: On algorithmic properties of propositional inconsistency-adaptive logics. Logic and Logical Philosophy 21(3), 209–228 (2012)
Hájek, P., and P. Pudlák, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer, Berlin, 1998.
Rogers H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)
Van De Putte, F., and Ch. Strasser, Three formats of prioritized adaptive logics: a comparative study, Logic Journal of the IGPL, 2012, doi:10.1093/jigpal/jzs004.
VanDe Putte F., Strasser Ch.: Extending the standard format of adaptive logics to the prioritized case. Logique et Analyse 55(220), 601–641 (2012)
Verdée P.: Adaptive logics using the minimal abnormality strategy are \({\Pi^{1}_{1}}\) -complex. Synthese 167(1), 93–104 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Odintsov, S.P., Speranski, S.O. Computability Issues for Adaptive Logics in Multi-Consequence Standard Format. Stud Logica 101, 1237–1262 (2013). https://doi.org/10.1007/s11225-013-9531-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9531-2