{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:11:42Z","timestamp":1765667502418,"version":"3.40.4"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T00:00:00Z","timestamp":1745452800000},"content-version":"vor","delay-in-days":23,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["803684"],"award-info":[{"award-number":["803684"]}],"id":[{"id":"10.13039\/100010661","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":[[2025,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>In this paper we show how to introduce a conditional to Kripke\u2019s theory of truth that respects the deduction theorem for the consequence relation associated with the theory. To this effect we develop a novel supervaluational framework, called strong Kleene supervaluation, that we take to be a promising framework for handling the truth-conditions of non-monotone notion in the presence of semantic indeterminacy more generally.<\/jats:p>","DOI":"10.1007\/s10992-025-09792-9","type":"journal-article","created":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T10:21:14Z","timestamp":1745490074000},"page":"451-491","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Adequate Conditionals and Kripke\u2019s Theory of Truth"],"prefix":"10.1007","volume":"54","author":[{"given":"Johannes","family":"Stern","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,24]]},"reference":[{"issue":"1","key":"9792_CR1","doi-asserted-by":"publisher","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":"9792_CR2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of truth","author":"J Beall","year":"2009","unstructured":"Beall, J. (2009). Spandrels of truth. Oxford University Press."},{"key":"9792_CR3","unstructured":"Beall, J. (2021). Transparent Truth as a Logical Property. In: Lynch, M. P., Wyatt, J., Kim, J., & Kellen, N., (eds.), The Nature of Truth: Classic and Contemporary Perspectives. The MIT Press."},{"key":"9792_CR4","volume-title":"Formal theories of truth","author":"J Beall","year":"2018","unstructured":"Beall, J., Glanzberg, M., & Ripley, D. (2018). Formal theories of truth. Oxford University Press."},{"key":"9792_CR5","doi-asserted-by":"crossref","unstructured":"Campbell-Moore, C. (2021). Indeterminate truth and credences. In: Nicolai, C., & Stern, J., (eds.), Modes of Truth (pp. 182\u2013208). Routledge.","DOI":"10.4324\/9780429030208-8"},{"issue":"1","key":"9792_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M. J. (1975). Hyperintensional logic. Studia Logica, 34(1), 25\u201338.","journal-title":"Studia Logica"},{"key":"9792_CR7","doi-asserted-by":"crossref","unstructured":"Egr\u00e9, P., & Cozic, M. (2016). Conditionals. In: Aloni, M., & Dekker, P., (eds.), Handbook of Formal Semantics (pp. 490\u2013524). Cambridge University Press.","DOI":"10.1017\/CBO9781139236157.018"},{"key":"9792_CR8","doi-asserted-by":"crossref","unstructured":"Feferman, S. (1960). Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, XLIX:35\u201392.","DOI":"10.4064\/fm-49-1-35-92"},{"issue":"1","key":"9792_CR9","doi-asserted-by":"publisher","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"},{"key":"9792_CR10","doi-asserted-by":"publisher","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 University Press."},{"issue":"1","key":"9792_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1017\/S1755020315000301","volume":"9","author":"H Field","year":"2016","unstructured":"Field, H. (2016). Indicative conditionals, restricted quantification, and naive truth. The Review of Symbolic Logic, 9(1), 181\u2013208.","journal-title":"The Review of Symbolic Logic"},{"key":"9792_CR12","unstructured":"Field, H. (2021). Properties, propositions, and conditionals. Australasian Philosophical Review, forthcoming."},{"issue":"2","key":"9792_CR13","doi-asserted-by":"publisher","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(2), 257\u2013278.","journal-title":"The Review of Symbolic Logic"},{"key":"9792_CR14","doi-asserted-by":"crossref","unstructured":"Garson, J. W. (2001). Quantification in Modal Logic. In: Gabbay, D., & Guenther, F., (eds.), Handbook of Philosophical Logic, vol. 3, pp. 267\u2013323. Kluwer Academic Publishers. 2nd Edition. First published in 1984.","DOI":"10.1007\/978-94-017-0454-0_3"},{"key":"9792_CR15","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/B:LOGI.0000019227.09236.f5","volume":"33","author":"M Glanzberg","year":"2004","unstructured":"Glanzberg, M. (2004). A contextual-hierarchical approach to truth and the liar paradox. Journal of Philosophical Logic, 33, 27\u201388.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00302338","volume":"11","author":"A Gupta","year":"1982","unstructured":"Gupta, A. (1982). Truth and paradox. Journal of Philosophical Logic, 11, 1\u201360.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR17","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The revision theory of truth","author":"A Gupta","year":"1993","unstructured":"Gupta, A., & Belnap, N. (1993). The revision theory of truth. The MIT Press."},{"key":"9792_CR18","doi-asserted-by":"publisher","first-page":"209","DOI":"10.4324\/9780429030208-9","volume-title":"Modes of Truth: The Unified Approach to Modality, Truth, and Paradox","author":"V Halbach","year":"2021","unstructured":"Halbach, V. (2021). The fourth grade of modal involvement. In C. Nicolai & J. Stern (Eds.), Modes of Truth: The Unified Approach to Modality, Truth, and Paradox (pp. 209\u2013230). Routledge."},{"key":"9792_CR19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1093\/mind\/fzn030","volume":"118","author":"V Halbach","year":"2009","unstructured":"Halbach, V., & Welch, P. (2009). Necessities and necessary truths: A prolegomenon to the use of modal logic in the analysis of intensional notions. Mind, 118, 71\u2013100.","journal-title":"Mind"},{"key":"9792_CR20","doi-asserted-by":"publisher","first-page":"479","DOI":"10.2307\/2026380","volume":"79","author":"H Herzberger","year":"1982","unstructured":"Herzberger, H. (1982). Naive semantics and the liar paradox. The Journal of Philosophy, 79, 479\u2013497.","journal-title":"The Journal of Philosophy"},{"issue":"2","key":"9792_CR21","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10992-024-09749-4","volume":"53","author":"A Iacona","year":"2024","unstructured":"Iacona, A., & Rossi, L. (2024). Na\u00efve truth and the evidential conditional. Journal of Philosophical Logic, 53(2), 559\u2013584.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9792_CR22","doi-asserted-by":"publisher","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(3), 225\u2013278.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR23","doi-asserted-by":"publisher","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, 690\u2013716.","journal-title":"The Journal of Philosophy"},{"issue":"2","key":"9792_CR24","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10992-018-9467-0","volume":"48","author":"H Leitgeb","year":"2019","unstructured":"Leitgeb, H. (2019). Hype: A system of hyperintensional logic (with an application to semantic paradoxes). Journal of Philosophical Logic, 48(2), 305\u2013405.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR25","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1093\/mind\/XXIII.1.240","volume":"23","author":"C Lewis","year":"1914","unstructured":"Lewis, C. (1914). The calculus of strict implication. Mind, 23, 240\u2013247.","journal-title":"Mind"},{"key":"9792_CR26","unstructured":"Lewis, D. (1973). Counterfactuals. Wiley-Blackwell."},{"key":"9792_CR27","volume-title":"Truth","author":"V McGee","year":"1991","unstructured":"McGee, V. (1991). Truth. Vagueness and Paradox: Hackett Publishing Company, Indianapolis."},{"issue":"1","key":"9792_CR28","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1017\/jsl.2020.66","volume":"86","author":"C Nicolai","year":"2021","unstructured":"Nicolai, C., & Stern, J. (2021). The Modal Logic of Kripke-Feferman Truth. The Journal of Symbolic Logic, 86(1), 362\u2013395.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9792_CR29","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10992-020-09558-5","volume":"50","author":"S Odintsov","year":"2021","unstructured":"Odintsov, S., & Wansing, H. (2021). Routley star and hyperintensionality. Journal of Philosophical Logic, 50(1), 33\u201356.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR30","unstructured":"Paoli, F. (2013). Substructural logics: a primer. Springer Science & Business Media."},{"key":"9792_CR31","doi-asserted-by":"publisher","DOI":"10.4324\/9780203016244","volume-title":"An introduction to substructural logics","author":"G Restall","year":"2002","unstructured":"Restall, G. (2002). An introduction to substructural logics. Routledge."},{"key":"9792_CR32","volume-title":"Theory of recursive functions and effective computability","author":"H Rogers","year":"1967","unstructured":"Rogers, H. (1967). Theory of recursive functions and effective computability. New York: McGraw-Hill."},{"issue":"5","key":"9792_CR33","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10992-015-9384-4","volume":"45","author":"L Rossi","year":"2016","unstructured":"Rossi, L. (2016). Adding a conditional to kripke?s theory of truth. Journal of Philosophical Logic, 45(5), 485\u2013529.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9792_CR34","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1017\/S1755020310000067","volume":"3","author":"P Schlenker","year":"2010","unstructured":"Schlenker, P. (2010). Super liars. The Review of Symbolic Logic, 3(3), 374\u2013414.","journal-title":"The Review of Symbolic Logic"},{"key":"9792_CR35","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198791546.003.0003","volume-title":"Semantic singularities: paradoxes of reference, predication, and truth","author":"K Simmons","year":"2018","unstructured":"Simmons, K. (2018). Semantic singularities: paradoxes of reference, predication, and truth. Oxford University Press."},{"key":"9792_CR36","first-page":"98","volume":"2","author":"R Stalnaker","year":"1968","unstructured":"Stalnaker, R. (1968). A theory of conditionals. Studies in logical theory, 2, 98\u2013112.","journal-title":"Studies in logical theory"},{"issue":"2","key":"9792_CR37","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1017\/S1755020314000069","volume":"7","author":"J Stern","year":"2014","unstructured":"Stern, J. (2014). Modality and Axiomatic Theories of Truth II: Kripke-Feferman. The Review of Symbolic Logic, 7(2), 299\u2013318.","journal-title":"The Review of Symbolic Logic"},{"key":"9792_CR38","doi-asserted-by":"crossref","unstructured":"Stern, J. (2016). Toward Predicate Approaches to Modality, volume 44 of Trends in Logic. Springer, Switzerland.","DOI":"10.1007\/978-3-319-22557-9"},{"key":"9792_CR39","doi-asserted-by":"publisher","first-page":"151","DOI":"10.4324\/9780429030208-7","volume-title":"Modes of Truth: The Unified Approach to Modality, Truth, and Paradox","author":"J Stern","year":"2021","unstructured":"Stern, J. (2021). Belief, truth, and ways of believing. In C. Nicolai & J. Stern (Eds.), Modes of Truth: The Unified Approach to Modality, Truth, and Paradox (pp. 151\u2013181). Routledge."},{"key":"9792_CR40","unstructured":"Stern, J. (2024). The liar paradox and modalities. In: Rossi, L., (ed.), The Liar Paradox. CUP. forthcoming."},{"key":"9792_CR41","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1935). Der Wahrheitsbegriff in den formalisierten Sprachen. In: Berka, K. & Kreiser, L., (eds.), Logik-Texte, pages 445\u2013546. Berlin. 1971.","DOI":"10.1515\/9783112645826-016"},{"issue":"16\u201318","key":"9792_CR42","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"RH Thomason","year":"1969","unstructured":"Thomason, R. H. (1969). A semantical study of constructible falsity. Mathematical Logic Quarterly, 15(16\u201318), 247\u2013257.","journal-title":"Mathematical Logic Quarterly"},{"key":"9792_CR43","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-94-009-1171-0_10","volume-title":"Handbook of Philosophical Logic","author":"A Visser","year":"1989","unstructured":"Visser, A. (1989). Semantics and the Liar Paradox. In D. Gabbay (Ed.), Handbook of Philosophical Logic (pp. 617\u2013706). Dordrecht."},{"key":"9792_CR44","unstructured":"von Fintel, K. (2011). Conditionals. In: von Heusinger, K., Maienborn, C., & Portner, P., (eds.), Semantics: An International Handbook of Meaning, vol. 2, pp. 1515\u20131538. DeGruyter."},{"key":"9792_CR45","volume-title":"The Logic of Information Structures","author":"H Wansing","year":"1991","unstructured":"Wansing, H. (1991). The Logic of Information Structures. Berlin: Springer."},{"key":"9792_CR46","first-page":"415","volume-title":"The Blackwell guide to philosophical logic","author":"H Wansing","year":"2001","unstructured":"Wansing, H. (2001). Negation. In L. Goble (Ed.), The Blackwell guide to philosophical logic (pp. 415\u2013436). Wiley Online Library."},{"issue":"3","key":"9792_CR47","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10992-014-9324-8","volume":"44","author":"P Welch","year":"2015","unstructured":"Welch, P. (2015). The Complexity of the Dependence Operator. Journal of Philosophical Logic, 44(3), 337\u2013340.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR48","doi-asserted-by":"crossref","unstructured":"Yablo, S. (2013). New Grounds for Naive Truth Theories. In J. Beall (Ed.), Liars and Heaps (pp. 312\u2013330). OUP.","DOI":"10.1093\/oso\/9780199264803.003.0015"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09792-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-025-09792-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09792-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T13:33:18Z","timestamp":1746192798000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-025-09792-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["9792"],"URL":"https:\/\/doi.org\/10.1007\/s10992-025-09792-9","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2025,4]]},"assertion":[{"value":"30 July 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"No competing interests","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}