{"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":1740123070890,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T00:00:00Z","timestamp":1494806400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["658285"],"award-info":[{"award-number":["658285"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s11225-017-9727-y","type":"journal-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T13:41:36Z","timestamp":1494855696000},"page":"101-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Provably True Sentences Across Axiomatizations of Kripke\u2019s Theory of Truth"],"prefix":"10.1007","volume":"106","author":[{"given":"Carlo","family":"Nicolai","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,15]]},"reference":[{"key":"9727_CR1","doi-asserted-by":"crossref","unstructured":"Belnap, N., A useful four-valued logic, in J. M. Dunn and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9727_CR2","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-94-017-0458-8_5","volume-title":"Handbook of Philosophical Logic","author":"S Blamey","year":"2002","unstructured":"Blamey, S., Partial logic, in D. M. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, 2 ed., vol. 5, Kluwer, Dordrecht, 2002, pp. 261\u2013353.","edition":"2"},{"key":"9727_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19890350202","volume":"35","author":"A Cantini","year":"1989","unstructured":"Cantini, A., Notes on formal theories of truth, Zeitschrift f\u00fcr Logik un Grundlagen der Mathematik 35:97\u2013130, 1989.","journal-title":"Zeitschrift f\u00fcr Logik un Grundlagen der Mathematik"},{"key":"9727_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","volume":"29","author":"S Feferman","year":"1964","unstructured":"Feferman, S., Systems of predicative analysis, Journal of Symbolic Logic 29:1\u201330, 1964.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9727_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S Feferman","year":"1984","unstructured":"Feferman, S., Towards useful type-free theories. I, Journal of Symbolic Logic 49(1):75\u2013111, 1984.","journal-title":"I, Journal of Symbolic Logic"},{"key":"9727_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S., Reflecting on incompleteness, Journal of Symbolic Logic 56:1\u201349, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"9727_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving Truth from Paradox","author":"H Field","year":"2008","unstructured":"Field, H., Saving Truth from Paradox, Oxford University Press, Oxford, 2008."},{"key":"9727_CR8","doi-asserted-by":"crossref","unstructured":"Fischer, M., V. Halbach, J. Kriener, and J. Stern, Axiomatizing semantic theories of truth? The Review of Symbolic Logic\u00a0 8(2):257\u2013278, 2015.","DOI":"10.1017\/S1755020314000379"},{"key":"9727_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139696586","volume-title":"Axiomatic Theories of Truth","author":"V Halbach","year":"2014","unstructured":"Halbach, V., Axiomatic Theories of Truth. Revised Edition, Cambridge University Press, Cambridge, 2014.","edition":"Revised"},{"key":"9727_CR10","doi-asserted-by":"crossref","first-page":"677","DOI":"10.2178\/jsl\/1146620166","volume":"71","author":"V Halbach","year":"2006","unstructured":"Halbach, V., and L.\u00a0Horsten, Axiomatizing Kripke\u2019s theory of truth in partial logic, Journal of Symbolic Logic 71:677\u2013712, 2006.","journal-title":"Journal of Symbolic Logic"},{"key":"9727_CR11","volume-title":"From Frege to G\u00f6del","author":"D Hilbert","year":"1967","unstructured":"Hilbert, D., \u00dcber das Unendliche, in J. Van\u00a0Heijenoort (ed.), From Frege to G\u00f6del. A Source Book in Mathematical Logic, Harvard University Press, Cambridge, 1967."},{"key":"9727_CR12","volume-title":"The Tarskian Turn","author":"L Horsten","year":"2012","unstructured":"Horsten, L., The Tarskian Turn, MIT University Press, Oxford, 2012."},{"key":"9727_CR13","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00247954","volume":"17","author":"M Kremer","year":"1988","unstructured":"Kremer, M., Kripke and the logic of truth, Journal of Philosophical Logic 17:225\u2013278, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"9727_CR14","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S., Outline of a theory of truth, Journal of Philosophy 72:690\u2013712, 1975.","journal-title":"Journal of Philosophy"},{"key":"9727_CR15","volume-title":"Truth, Vagueness, and Paradox","author":"V McGee","year":"1991","unstructured":"McGee, V., Truth, Vagueness, and Paradox, MIT University Press, Cambridge, 1991."},{"key":"9727_CR16","unstructured":"Nicolai, C., M. Fischer, and L.\u00a0Horsten, Iterated reflection over full disquotational truth (Submitted). https:\/\/arxiv.org\/pdf\/1703.02301.pdf ."},{"key":"9727_CR17","doi-asserted-by":"publisher","unstructured":"Nicolai, C., and V.\u00a0Halbach. On the costs of nonclassical logic, Journal of Philosophical Logic. doi: 10.1007\/s10992-017-9424-3 .","DOI":"10.1007\/s10992-017-9424-3"},{"key":"9727_CR18","volume-title":"Proof Theory","author":"W Pohlers","year":"2009","unstructured":"Pohlers, W., Proof Theory. A First Step into Impredicativity, Springer, Berlin, 2009."},{"key":"9727_CR19","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00305492","volume":"15","author":"W Reinhardt","year":"1986","unstructured":"Reinhardt, W., Some remarks on extending and interpreting theories with a partial predicate for truth, Journal of Philosophical Logic 15:219\u2013251, 1986.","journal-title":"Journal of Philosophical Logic"},{"key":"9727_CR20","doi-asserted-by":"crossref","first-page":"721","DOI":"10.2307\/2273094","volume":"4","author":"UR Schmerl","year":"1982","unstructured":"Schmerl, U. R., Iterated reflection principle and the $$\\omega $$ \u03c9 -rule, Journal of Symbolic Logic 4:721\u2013733, 1982.","journal-title":"Journal of Symbolic Logic"},{"key":"9727_CR21","volume-title":"Handbook of Mathematical Logic","author":"H Schwichtenberg","year":"1977","unstructured":"Schwichtenberg, H., Proof theory: some applications of cut-elimination, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977."},{"key":"9727_CR22","unstructured":"Tarski, A., Der Wahrhetisbegriff in den formalisierten Sprachen, in J. H. Woodger (ed.), Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, pp. 152\u2013278."},{"key":"9727_CR23","doi-asserted-by":"crossref","unstructured":"Williamson, T., Semantic paradoxes and abductive methodology, in B. Armour-Garb (ed.), The Relevance of the Liar, Oxford University Press, Oxford, 2017.","DOI":"10.1093\/oso\/9780199896042.003.0013"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9727-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9727-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9727-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T13:31:25Z","timestamp":1569331885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9727-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,15]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["9727"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9727-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,5,15]]}}}