{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T07:40:10Z","timestamp":1716104410950},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,11,7]],"date-time":"2013-11-07T00:00:00Z","timestamp":1383782400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11225-013-9531-2","type":"journal-article","created":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T12:26:52Z","timestamp":1383740812000},"page":"1237-1262","source":"Crossref","is-referenced-by-count":8,"title":["Computability Issues for Adaptive Logics in Multi-Consequence Standard Format"],"prefix":"10.1007","volume":"101","author":[{"given":"Sergei P.","family":"Odintsov","sequence":"first","affiliation":[]},{"given":"Stanislav O.","family":"Speranski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,7]]},"reference":[{"key":"9531_CR1","unstructured":"Batens, D., Adaptive Logics and Dynamic Proofs, manuscript, available at http:\/\/logica.ugent.be\/adlog\/book.html"},{"key":"9531_CR2","unstructured":"Batens, D., A general characterization of adaptive logics, Logique et Analyse 173-174-175:45\u201368, 2001."},{"key":"9531_CR3","unstructured":"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\u2013472."},{"issue":"1","key":"9531_CR4","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s11787-006-0012-5","volume":"1","author":"D. Batens","year":"2007","unstructured":"Batens D.: A universal logic approach to adaptive logics. Logica Universalis 1(1), 221\u2013242 (2007)","journal-title":"Logica Universalis"},{"key":"9531_CR5","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9531_CR6","volume-title":"Computability Theory","author":"S.B. Cooper","year":"2003","unstructured":"Cooper S.B.: Computability Theory. CRC Press, New York (2003)"},{"issue":"1","key":"9531_CR7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11229-006-9049-5","volume":"158","author":"L. Horsten","year":"2007","unstructured":"Horsten L., Welch P.: The undecidability of propositional adaptive logic. Synthese 158(1), 41\u201360 (2007)","journal-title":"Synthese"},{"issue":"3","key":"9531_CR8","first-page":"209","volume":"21","author":"S.P. Odintsov","year":"2012","unstructured":"Odintsov S.P., Speranski S.O.: On algorithmic properties of propositional inconsistency-adaptive logics. Logic and Logical Philosophy 21(3), 209\u2013228 (2012)","journal-title":"Logic and Logical Philosophy"},{"key":"9531_CR9","unstructured":"H\u00e1jek, P., and P. Pudl\u00e1k, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer, Berlin, 1998."},{"key":"9531_CR10","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)"},{"key":"9531_CR11","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1093\/jigpal\/jzs004"},{"issue":"220","key":"9531_CR12","first-page":"601","volume":"55","author":"F. VanDe Putte","year":"2012","unstructured":"VanDe Putte F., Strasser Ch.: Extending the standard format of adaptive logics to the prioritized case. Logique et Analyse 55(220), 601\u2013641 (2012)","journal-title":"Logique et Analyse"},{"issue":"1","key":"9531_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s11229-007-9291-5","volume":"167","author":"P. Verd\u00e9e","year":"2009","unstructured":"Verd\u00e9e P.: Adaptive logics using the minimal abnormality strategy are $${\\Pi^{1}_{1}}$$ \u03a0 1 1 -complex. Synthese 167(1), 93\u2013104 (2009)","journal-title":"Synthese"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9531-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9531-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9531-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T07:24:37Z","timestamp":1716103477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9531-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,7]]},"references-count":13,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["9531"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9531-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,7]]}}}