{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:12:58Z","timestamp":1778764378253,"version":"3.51.4"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,3,2]],"date-time":"2017-03-02T00:00:00Z","timestamp":1488412800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000780","name":"Division of Physics","doi-asserted-by":"publisher","award":["658285 FOREMOTIONS"],"award-info":[{"award-number":["658285 FOREMOTIONS"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10992-017-9424-3","type":"journal-article","created":{"date-parts":[[2017,3,2]],"date-time":"2017-03-02T14:23:56Z","timestamp":1488464636000},"page":"227-257","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["On the Costs of Nonclassical Logic"],"prefix":"10.1007","volume":"47","author":[{"given":"Volker","family":"Halbach","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Nicolai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,2]]},"reference":[{"key":"9424_CR1","doi-asserted-by":"crossref","unstructured":"Blamey, S. (2002). Partial logic. In Gabbay, D., & Guenther, F. (Eds.) Handbook of philosophical logic. 2nd edn., (Vol. 5 pp. 261\u2013253). Dordrecht: Kluwer.","DOI":"10.1007\/978-94-017-0458-8_5"},{"key":"9424_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19890350202","volume":"35","author":"A Cantini","year":"1989","unstructured":"Cantini, A. (1989). Notes on formal theories of truth. ZeitSchrift f\u00fc,r matematische Logik und Grundlagen der Mathematik, 35, 97\u2013130.","journal-title":"ZeitSchrift f\u00fc,r matematische Logik und Grundlagen der Mathematik"},{"key":"9424_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S. (1991). Reflecting on incompleteness. The Journal of Symbolic Logic, 56, 1\u201349.","journal-title":"The Journal of Symbolic Logic"},{"key":"9424_CR4","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. (2008). Saving truth from paradox. Oxford: Oxford University Press."},{"issue":"02","key":"9424_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1017\/S1755020314000379","volume":"8","author":"M Fischer","year":"2015","unstructured":"Fischer, M, Halbach, V., Kriener, J., & Stern, J. (2015). Axiomatizing semantic theories of truth. The Review of Symbolic Logic, 8(02), 257\u2013278.","journal-title":"The Review of Symbolic Logic"},{"key":"9424_CR6","doi-asserted-by":"crossref","unstructured":"Halbach, V. (2014). Axiomatic theories of truth. CUP.","DOI":"10.1017\/CBO9781139696586"},{"key":"9424_CR7","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2178\/bsl\/1286284556","volume":"16","author":"K Fujimoto","year":"2010","unstructured":"Fujimoto, K. (2010). Relative truth definability of axiomatic theories of truth. The Bulletin of Symbolic Logic, 16, 305\u2013344.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9424_CR8","doi-asserted-by":"crossref","first-page":"677","DOI":"10.2178\/jsl\/1146620166","volume":"71","author":"V Halbach","year":"2006","unstructured":"Halbach, V., & Horsten, L. (2006). Axiomatizing kripke\u2019s theory of truth. The Journal of Symbolic Logic, 71, 677\u2013712.","journal-title":"The Journal of Symbolic Logic"},{"key":"9424_CR9","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/mind\/fzp096","volume":"118","author":"L Horsten","year":"2009","unstructured":"Horsten, L. (2009). Levity. Mind, 118, 555\u2013581.","journal-title":"Mind"},{"key":"9424_CR10","first-page":"2012","volume-title":"The Tarskian turn: deflationism and axiomatic truth","author":"L Horsten","year":"2012","unstructured":"Horsten, L. (2012). The Tarskian turn: deflationism and axiomatic truth, (p. 2012). Princeton: Princeton University Press."},{"key":"9424_CR11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00247954","volume":"17","author":"M Kremer","year":"1988","unstructured":"Kremer, M. (1988). Kripke and the logic of truth. Journal of Philosophical Logic, 17, 225\u2013278.","journal-title":"Journal of Philosophical Logic"},{"key":"9424_CR12","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690\u2013712.","journal-title":"Journal of Philosophy"},{"key":"9424_CR13","volume-title":"Truth, vagueness and paradox: an essay in the logic of truth","author":"V McGee","year":"1991","unstructured":"McGee, V. (1991). Truth, vagueness and paradox: an essay in the logic of truth. Cambridge: Hackett."},{"key":"9424_CR14","volume-title":"Elementary induction on abstract structures","author":"Y Moschovakis","year":"1974","unstructured":"Moschovakis, Y. (1974). Elementary induction on abstract structures. Amsterdam: North-Holland."},{"key":"9424_CR15","unstructured":"Nicolai, C. Provably true sentences across axiomatizations of Kripke\u2019s theory of truth. Unpublished manuscript."},{"key":"9424_CR16","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00305492","volume":"15","author":"W Reinhardt","year":"1986","unstructured":"Reinhardt, W. (1986). Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, 15, 219\u2013251.","journal-title":"Journal of Philosophical Logic"},{"key":"9424_CR17","doi-asserted-by":"crossref","unstructured":"Scott, D. (1975). Combinators and classes. In B\u00f6hm, C. (Ed.) \u03bb-calculus in computer science, (Vol. 1975 pp. 1\u201326). Berlin: Springer.","DOI":"10.1007\/BFb0029517"},{"key":"9424_CR18","unstructured":"Williamson, T. (2016). Semantic paradoxes and abductive methodology. To appear in: Armour-Garb, B. (forthcoming). The Relevance of the Liar. Oxford University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-017-9424-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9424-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9424-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,5]],"date-time":"2018-04-05T05:25:35Z","timestamp":1522905935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-017-9424-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,2]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9424"],"URL":"https:\/\/doi.org\/10.1007\/s10992-017-9424-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,2]]}}}