{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:26:35Z","timestamp":1771471595942,"version":"3.50.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,2,11]],"date-time":"2016-02-11T00:00:00Z","timestamp":1455148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10992-015-9384-4","type":"journal-article","created":{"date-parts":[[2016,2,11]],"date-time":"2016-02-11T01:19:40Z","timestamp":1455153580000},"page":"485-529","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Adding a Conditional to Kripke\u2019s Theory of Truth"],"prefix":"10.1007","volume":"45","author":[{"given":"Lorenzo","family":"Rossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,11]]},"reference":[{"key":"9384_CR1","first-page":"67","volume-title":"To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism","author":"P Aczel","year":"1980","unstructured":"Aczel, P., & Feferman, S. (1980). Consistency of the unrestricted abstraction principles using an intensional equivalence operator. In J.P. Seldin & J.R. Hindley (Eds.), To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism (pp. 67\u201398). New York: Academic Press."},{"issue":"1","key":"9384_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1215\/00294527-1731407","volume":"54","author":"A Bacon","year":"2013","unstructured":"Bacon, A. (2013). A new conditional for naive truth theory. Notre Dame Journal of Formal Logic, 54(1), 87\u2013104.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9384_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of truth","author":"JC Beall","year":"2009","unstructured":"Beall, J.C. (2009). Spandrels of truth. Oxford: Oxford University Press."},{"key":"9384_CR4","first-page":"8","volume-title":"Modern uses of multiple-valued logic","author":"NDJr Belnap","year":"1977","unstructured":"Belnap, N.D. Jr. (1977). A useful four-valued logic. In J. Michael Dunn & G. Epstein (Eds.), Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: Reidel."},{"key":"9384_CR5","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. (2002). Partial logic. In D.M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic. 2nd edn. (Vol. 5, pp. 261\u2013353). Dordrecht: Kluwer Academic Publishers."},{"issue":"4","key":"9384_CR6","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1305\/ndjfl\/1093894366","volume":"12","author":"R Brady","year":"1971","unstructured":"Brady, R. (1971). The consistency of the axioms of abstraction and extensionality in three-valued logic. Notre Dame Journal of Formal Logic, 12(4), 447\u2013453.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9384_CR7","doi-asserted-by":"crossref","first-page":"437","DOI":"10.2307\/j.ctv2x8v8c7.19","volume-title":"Paraconsistent logic: essays on the inconsistent","author":"R Brady","year":"1989","unstructured":"Brady, R. (1989). The Non-Triviality of Dialectical Set Theory. In G. Priest, R. Routley & J. Norman (Eds.), Paraconsistent logic: essays on the inconsistent (pp. 437\u2013470). M\u00fcnchen: Philosophia Verlag."},{"key":"9384_CR8","volume-title":"Foundational adventures. Essays in honour of Harvey Friedman","author":"JP Burgess","year":"2009","unstructured":"Burgess, J.P. (2009). Friedman and the axiomatization of Kripke\u2019s theory of truth. In N. Tennant (Ed.), Foundational adventures. Essays in honour of Harvey Friedman. London: College Publications."},{"key":"9384_CR9","volume-title":"Logical frameworks for truth and abstraction. An axiomatic study, volume 135 of Studies in Logic and the Foundations of Mathematics","author":"A Cantini","year":"1996","unstructured":"Cantini, A. (1996). Logical frameworks for truth and abstraction. An axiomatic study, volume 135 of Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier."},{"key":"9384_CR10","first-page":"53","volume":"VIII","author":"A Cantini","year":"2002","unstructured":"Cantini, A. (2002). Osservazioni su Autoriferimento e Verit\u00e0. Annali del Dipartimento di Filosofia dell\u2019Universit\u00e0 di Firenze, VIII, 53\u201376.","journal-title":"Annali del Dipartimento di Filosofia dell\u2019Universit\u00e0 di Firenze"},{"key":"9384_CR11","first-page":"31","volume-title":"The revenge of the liar. New essays on the paradox","author":"RT Cook","year":"2007","unstructured":"Cook, R.T. (2007). On the indefinite extensibility of language. In J.C. Beall (Ed.), The revenge of the liar. New essays on the paradox (pp. 31\u201352). Oxford: Oxford University Press."},{"issue":"1958\u20131959","key":"9384_CR12","first-page":"141","volume":"59","author":"MEA Dummett","year":"1958","unstructured":"Dummett, M.E.A. (1958). Truth. Proceedings of the Aristotelian Society, 59 (1958\u20131959), 141\u2013162. New Series.","journal-title":"Proceedings of the Aristotelian Society"},{"issue":"1","key":"9384_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S Feferman","year":"1984","unstructured":"Feferman, S. (1984). Toward useful type-free theories, I. The Journal of Symbolic Logic, 49(1), 75\u2013111.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9384_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015063620612","volume":"31","author":"H Field","year":"2002","unstructured":"Field, H. (2002). Saving the truth schema from paradox. Journal of Philosophical Logic, 31(1), 1\u2013 27.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9384_CR15","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1023\/A:1023027808400","volume":"32","author":"H Field","year":"2003","unstructured":"Field, H. (2003). A revenge-immune solution to the semantic paradoxes. Journal of Philosophical Logic, 32(2), 139\u2013177.","journal-title":"Journal of Philosophical Logic"},{"issue":"214","key":"9384_CR16","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.0031-8094.2004.00343.x","volume":"54","author":"H Field","year":"2004","unstructured":"Field, H. (2004). The consistency of the na\u00efve theory of properties. The Philosophical Quarterly, 54(214), 78\u2013104.","journal-title":"The Philosophical Quarterly"},{"key":"9384_CR17","doi-asserted-by":"crossref","unstructured":"Field, H. (2007). Solving the paradoxes, escaping revenge. In J.C. Beall (Ed.), The revenge of the liar. New essays on the paradox, cit (pp. 78\u2013144).","DOI":"10.1093\/oso\/9780199233915.003.0004"},{"key":"9384_CR18","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":"3","key":"9384_CR19","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1017\/S1755020311000025","volume":"4","author":"H Field","year":"2011","unstructured":"Field, H. (2011). Comments on Martin\u2019s and Welch\u2019s comments. The Review of Symbolic Logic, 4(3), 360\u2013366.","journal-title":"The Review of Symbolic Logic"},{"key":"9384_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1017\/S1755020313000312","volume":"7","author":"H Field","year":"2014","unstructured":"Field, H. (2014). Naive truth and restricted quantification: saving truth a whole lot better. Review of Symbolic Logic, 7, 147\u201391.","journal-title":"Review of Symbolic Logic"},{"key":"9384_CR21","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1017\/S1755020314000379","volume":"8","author":"M Fischer","year":"2015","unstructured":"Fischer, M., Halbach, V., Speck, J., & Stern, J. (2015). Axiomatizing semantic theories of truth? The Review of Symbolic Logic, 8, 257\u2013278.","journal-title":"The Review of Symbolic Logic"},{"key":"9384_CR22","volume-title":"A treatise on many-valued logics, Studies in Logic and Computation","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S. (2001). A treatise on many-valued logics, Studies in Logic and Computation Vol. 9. Baldock: Research Studies Press."},{"key":"9384_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The revision theory of truth","author":"A Gupta","year":"1993","unstructured":"Gupta, A., & Belnap, N.D.Jr. (1993). The revision theory of truth. Cambridge: MIT Press."},{"issue":"2","key":"9384_CR24","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(2), 677\u2013712.","journal-title":"The Journal of Symbolic Logic"},{"key":"9384_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic theories of truth. Cambridge: Cambridge University Press."},{"key":"9384_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262015868.001.0001","volume-title":"The Tarskian turn","author":"L Horsten","year":"2011","unstructured":"Horsten, L. (2011). The Tarskian turn. Cambridge: MIT Press."},{"key":"9384_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"R Kaye","year":"1991","unstructured":"Kaye, R. (1991). Models of Peano Arithmetic. Oxford: Oxford University Press."},{"issue":"3","key":"9384_CR28","doi-asserted-by":"crossref","first-page":"327","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(3), 327\u2013 332.","journal-title":"Journal of Philosophical Logic"},{"issue":"19","key":"9384_CR29","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. The Journal of Philosophy, 72(19), 690\u2013716.","journal-title":"The Journal of Philosophy"},{"key":"9384_CR30","volume-title":"The revenge of the liar. New essays on the paradox, cit., 159\u2013183","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H. (2007). On the metatheory of Field\u2019s \u201cSolving the Paradoxes, Escaping Revenge\u201d. In J.C. Beall (Ed.), The revenge of the liar. New essays on the paradox, cit., 159\u2013183. Oxford: Oxford University Press."},{"key":"9384_CR31","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-valued logics, Oxford logic guides","author":"G Malinowski","year":"1993","unstructured":"Malinowski, G. (1993). Many-valued logics, Oxford logic guides Vol. 25. Oxford: Clarendon Press."},{"issue":"3","key":"9384_CR32","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1017\/S1755020311000037","volume":"4","author":"DA Martin","year":"2011","unstructured":"Martin, D.A. (2011). Field\u2019s Saving Truth from Paradox: some things it doesn\u2019t do. The Review of Symbolic Logic, 4(3), 339\u2013347.","journal-title":"The Review of Symbolic Logic"},{"issue":"10","key":"9384_CR33","doi-asserted-by":"crossref","first-page":"530","DOI":"10.5840\/jphil1989861024","volume":"86","author":"V McGee","year":"1989","unstructured":"McGee, V. (1989). Applying Kripke\u2019s theory of truth. The Journal of Philosophy, 86(10), 530\u2013539.","journal-title":"The Journal of Philosophy"},{"key":"9384_CR34","volume-title":"Truth, vagueness, and paradox: an essay on the logic of truth","author":"V McGee","year":"1991","unstructured":"McGee, V. (1991). Truth, vagueness, and paradox: an essay on the logic of truth. Indianapolis and Cambridge: Hackett Publishing Company."},{"key":"9384_CR35","volume-title":"Elementary induction on abstract structures","author":"YN Moschovakis","year":"2008","unstructured":"Moschovakis, Y.N. (2008). Elementary induction on abstract structures. New York and Amsterdam: North- Holland and Elsevier (1974), unabridged republication by Dover Books."},{"issue":"140","key":"9384_CR36","first-page":"303","volume":"139","author":"G Restall","year":"1992","unstructured":"Restall, G. (1992). Arithmetic and truth in \u0141ukasiewicz\u2019s infinitely valued logic. Logique Et Analyse, 139(140), 303\u2013312.","journal-title":"Logique Et Analyse"},{"key":"9384_CR37","unstructured":"Rossi, L. Graphs, Truth, and Conditional(s), under review."},{"key":"9384_CR38","doi-asserted-by":"crossref","DOI":"10.1093\/0195123352.001.0001","volume-title":"Understanding truth","author":"S Soames","year":"1999","unstructured":"Soames, S. (1999). Understanding truth. New York and Oxford: Oxford University Press."},{"key":"9384_CR39","volume-title":"Logic, semantics, metamathematics, 2nd edn.","author":"A Tarski","year":"1983","unstructured":"Tarski, A. (1983). The concept of truth in formalized languages, Polish original version 1933, German translation 1935, English translation of the German version in Alfred Tarski (J. Corcoran (Ed.)), Logic, semantics, metamathematics, 2nd edn. Indianapolis: Hackett Publishing Company."},{"key":"9384_CR40","volume-title":"Logic and structure","author":"D Van Dalen","year":"2012","unstructured":"Van Dalen, D. (2012). Logic and structure. New York Dordrecht: Springer."},{"issue":"1","key":"9384_CR41","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1017\/S1755020308080118","volume":"1","author":"P Welch","year":"2008","unstructured":"Welch, P. (2008). Ultimate truth vis \u00e0 vis stable truth. The Review of Symbolic Logic, 1(1), 126\u2013142.","journal-title":"The Review of Symbolic Logic"},{"issue":"3","key":"9384_CR42","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1017\/S1755020311000049","volume":"4","author":"P Welch","year":"2011","unstructured":"Welch, P. (2011). Truth, logical validity and determinateness : a commentary on Field\u2019s Saving Truth from Paradox. The Review of Symbolic Logic, 4(3), 248\u2013259.","journal-title":"The Review of Symbolic Logic"},{"issue":"1","key":"9384_CR43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020313000361","volume":"7","author":"P Welch","year":"2014","unstructured":"Welch, P. (2014). Some observations on truth hierarchies. The Review of Symbolic Logic, 7(1), 1\u201330.","journal-title":"The Review of Symbolic Logic"},{"issue":"1","key":"9384_CR44","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00302341","volume":"11","author":"S Yablo","year":"1982","unstructured":"Yablo, S. (1982). Grounding, dependence, and paradox. Journal of Philosophical Logic, 11(1), 117\u2013137.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9384-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9384-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9384-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9384-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T08:48:10Z","timestamp":1718354890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9384-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,11]]},"references-count":44,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9384"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9384-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,11]]}}}