{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:10Z","timestamp":1740123070134,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,11,5]],"date-time":"2016-11-05T00:00:00Z","timestamp":1478304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s11225-016-9694-8","type":"journal-article","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T22:02:49Z","timestamp":1478296969000},"page":"407-429","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Notes on the Computational Aspects of Kripke\u2019s Theory of Truth"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6386-5632","authenticated-orcid":false,"given":"Stanislav O.","family":"Speranski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"issue":"4","key":"9694_CR1","doi-asserted-by":"publisher","first-page":"663","DOI":"10.2307\/2274021","volume":"51","author":"JP Burgess","year":"1986","unstructured":"Burgess, J. P., The truth is never simple, Journal of Symbolic Logic 51(4):663\u2013681, 1986. Doi: 10.2307\/2274021","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"9694_CR2","doi-asserted-by":"publisher","first-page":"1452","DOI":"10.2307\/2275486","volume":"56","author":"J Cain","year":"1991","unstructured":"Cain, J., and Z. Damnjanovic, On the weak Kleene scheme in Kripke\u2019s theory of Truth, Journal of Symbolic Logic 56(4):1452\u20131468, 1991. Doi: 10.2307\/2275486","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9694_CR3","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1017\/S1755020314000379","volume":"8","author":"M Fischer","year":"2015","unstructured":"Fischer, M., V. Halbach, J. Kriener, and J. Stern, Axiomatizing semantic theories of truth? Review of Symbolic Logic 8(2):257\u2013278, 2015. Doi: 10.1017\/S1755020314000379","journal-title":"Review of Symbolic Logic"},{"key":"9694_CR4","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., and P. Pudl\u00e1k, Metamathematics of First-Order Arithmetic, Springer, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"issue":"2","key":"9694_CR5","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1017\/S1755020308080209","volume":"1","author":"S Feferman","year":"2008","unstructured":"Feferman, S., Axioms for determinateness and truth, Review of Symbolic Logic 1(2):204\u2013217, 2008. Doi: 10.1017\/S1755020308080209","journal-title":"Review of Symbolic Logic"},{"issue":"5","key":"9694_CR6","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1023\/A:1004217812355","volume":"26","author":"M Fitting","year":"1997","unstructured":"Fitting, M., A theory of truth that prefers falsehood, Journal of Philosophical Logic 26(5):477\u2013500, 1997. Doi: 10.1023\/A:1004217812355","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9694_CR7","doi-asserted-by":"publisher","first-page":"637","DOI":"10.2307\/2274706","volume":"56","author":"JY Halpern","year":"1991","unstructured":"Halpern, J. Y., Presburger arithmetic with unary predicates is $$\\Pi _1^1$$ \u03a0 1 1 complete, Journal of Symbolic Logic 56(2):637\u2013642, 1991. Doi: 10.2307\/2274706","journal-title":"Journal of Symbolic Logic"},{"issue":"19","key":"9694_CR8","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1991","unstructured":"Kripke, S., Outline of a theory of truth, The Journal of Philosophy 72(19):690\u2013716, 1991. Doi: 10.2307\/2024634","journal-title":"The Journal of Philosophy"},{"issue":"2","key":"9694_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10992-004-3758-3","volume":"34","author":"H Leitgeb","year":"2005","unstructured":"Leitgeb, H., What truth depends on, Journal of Philosophical Logic 34(2):155\u2013192, 2005. Doi: 10.1007\/s10992-004-3758-3","journal-title":"Journal of Philosophical Logic"},{"key":"9694_CR10","doi-asserted-by":"crossref","unstructured":"Magidor, O., Category Mistakes, Oxford University Press, 2013.","DOI":"10.1093\/acprof:oso\/9780199572977.001.0001"},{"key":"9694_CR11","unstructured":"Matiyasevich, Y. V., Hilbert\u2019s Tenth Problem, MIT Press, 1993."},{"issue":"2","key":"9694_CR12","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S175502031500012X","volume":"8","author":"T Meadows","year":"2015","unstructured":"Meadows, T., Infinitary tableau for semantic truth, Review of Symbolic Logic 8(2):207\u2013235, 2015. Doi: 10.1017\/S175502031500012X","journal-title":"Review of Symbolic Logic"},{"issue":"2","key":"9694_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s10992-011-9219-x","volume":"42","author":"T Meadows","year":"2013","unstructured":"Meadows, T., Truth, dependence and supervaluation: living with the ghost, Journal of Philosophical Logic 42(2):221\u2013240, 2013. Doi: 10.1007\/s10992-011-9219-x","journal-title":"Journal of Philosophical Logic"},{"key":"9694_CR14","unstructured":"Moschovakis, Y. N., Elementary Induction on Abstract Structures, North-Holland Publishing Company, 1974."},{"key":"9694_CR15","unstructured":"Rogers, H., Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, 1967."},{"key":"9694_CR16","doi-asserted-by":"crossref","unstructured":"Sacks, G. E., Higher Recursion Theory, Springer, 1990.","DOI":"10.1007\/978-3-662-12013-2"},{"key":"9694_CR17","unstructured":"Schindler, T., Type-Free Truth (PhD Thesis). Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2015. Available online at https:\/\/edoc.ub.uni-muenchen.de\/18335\/"},{"issue":"5\u20136","key":"9694_CR18","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s00153-013-0328-9","volume":"52","author":"SO Speranski","year":"2013","unstructured":"Speranski, S. O., A note on definability in fragments of arithmetic with free unary predicates, Archive for Mathematical Logic 52(5\u20136):507\u2013516, 2013. Doi: 10.1007\/s00153-013-0328-9","journal-title":"Archive for Mathematical Logic"},{"issue":"2","key":"9694_CR19","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3233\/COM-150036","volume":"4","author":"SO Speranski","year":"2015","unstructured":"Speranski, S. O., Some new results in monadic second-order arithmetic, Computability 4(2):159\u2013174, 2015. Doi: 10.3233\/COM-150036","journal-title":"Computability"},{"key":"9694_CR20","doi-asserted-by":"publisher","unstructured":"Welch, P. D., The complexity of the dependence operator, Journal of Philosophical Logic 44(3):337\u2013340, 2014. Doi: 10.1007\/s10992-014-9324-8","DOI":"10.1007\/s10992-014-9324-8"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9694-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9694-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9694-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:54:03Z","timestamp":1498344843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9694-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,5]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9694"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9694-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2016,11,5]]}}}