{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:34:19Z","timestamp":1758702859869},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T00:00:00Z","timestamp":1685750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T00:00:00Z","timestamp":1685750400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"JSPS KAKENHI","award":["20K12784"],"award-info":[{"award-number":["20K12784"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Although it receives less attention, (Lewis in No\u00fbs 13:455\u2013476, 1979. <jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" ext-link-type=\"doi\" xlink:href=\"10.2307\/2215339\">https:\/\/doi.org\/10.2307\/2215339<\/jats:ext-link>) admitted that the branching-time(-like) model fits a wide range of counterfactuals, including (Nix) <jats:italic>\u2018If Nixon had pressed the button, there would have been a nuclear war\u2019<\/jats:italic>, which was raised by (Fine in Mind 84:451\u2013458, 1975). However, Lewis then claimed that similarity analysis is more general than temporality analysis. In this paper, we do not scrutinise his claim. Instead, we re-analyse (Nix) not only model-theoretically but also proof-theoretically from the \u2018meaning-as-use\u2019 and \u2018inferentialist\u2019 points of view. Then, we re-formalise (Nix) in a natural extension of hybrid tense logic, which we refer to as hybrid tense logic for temporal conditionals (HTL<jats:inline-formula><jats:alternatives><jats:tex-math>$$_{TC}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow \/>\n                    <mml:mrow>\n                      <mml:mi>TC<\/mml:mi>\n                    <\/mml:mrow>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>). Consequently, we find that not only among counterfactuals, but also among indicatives, there is a wide range of conditionals whose formalisation in HTL<jats:inline-formula><jats:alternatives><jats:tex-math>$$_{TC}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow \/>\n                    <mml:mrow>\n                      <mml:mi>TC<\/mml:mi>\n                    <\/mml:mrow>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is appropriate. We refer to these conditionals as <jats:italic>temporal conditionals<\/jats:italic>. This suggests <jats:italic>a new logical generality<\/jats:italic> that temporality analysis has but similarity analysis does not, from which emerges <jats:italic>a new logical perspective<\/jats:italic> on conditionals in general: <jats:italic>temporal ones and others<\/jats:italic>.<\/jats:p>","DOI":"10.1007\/s10849-023-09400-6","type":"journal-article","created":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T10:02:07Z","timestamp":1685786527000},"page":"677-706","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["From Counterfactual Conditionals to Temporal Conditionals"],"prefix":"10.1007","volume":"32","author":[{"given":"Yuichiro","family":"Hosokawa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,3]]},"reference":[{"issue":"6","key":"9400_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"ND Belnap","year":"1962","unstructured":"Belnap, N. D. (1962). Tonk, plonk and plink. Analysis, 22(6), 130\u2013134.","journal-title":"Analysis"},{"key":"9400_CR2","unstructured":"Blackburn, P. (1990). Nominal tense logic and other sorted intensional frameworks. PhD thesis, The University of Edinburgh."},{"issue":"1\u20132","key":"9400_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1093\/jos\/11.1-2.83","volume":"11","author":"P Blackburn","year":"1994","unstructured":"Blackburn, P. (1994). Tense, temporal reference, and tense logic. Journal of Semantics, 11(1\u20132), 83\u201301. https:\/\/doi.org\/10.1093\/jos\/11.1-2.83","journal-title":"Journal of Semantics"},{"key":"9400_CR4","doi-asserted-by":"publisher","first-page":"3677","DOI":"10.1007\/s11229-015-0920-0","volume":"193","author":"P Blackburn","year":"2016","unstructured":"Blackburn, P., & J\u00f8rgensen, K. F. (2016). Reichenbach, prior and hybrid tense logic. Synthese, 193, 3677\u20133689. https:\/\/doi.org\/10.1007\/s11229-015-0920-0","journal-title":"Synthese"},{"key":"9400_CR5","volume-title":"Making it explicit: Reasoning, representing, and discursive commitment","author":"RB Brandom","year":"1994","unstructured":"Brandom, R. B. (1994). Making it explicit: Reasoning, representing, and discursive commitment. Harvard University Press."},{"key":"9400_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid logic and its proof-theory","author":"T Bra\u00fcner","year":"2011","unstructured":"Bra\u00fcner, T. (2011). Hybrid logic and its proof-theory. Springer."},{"issue":"2","key":"9400_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10992-009-9122-x","volume":"39","author":"MJ Cresswell","year":"2010","unstructured":"Cresswell, M. J. (2010). Temporal reference in linear tense logic. Journal of Philosophical Logic, 39(2), 173\u2013200.","journal-title":"Journal of Philosophical Logic"},{"key":"9400_CR8","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/mind\/LXXXIV.1.451","volume":"84","author":"K Fine","year":"1975","unstructured":"Fine, K. (1975). Critical notice of counterfactuals. Mind, 84, 451\u2013458.","journal-title":"Mind"},{"key":"9400_CR9","volume-title":"Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens","author":"G Frege","year":"1879","unstructured":"Frege, G. (1879a). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert."},{"key":"9400_CR10","first-page":"9","volume-title":"Posthumous writing","author":"G Frege","year":"1979","unstructured":"Frege, G. (1979b). Boole\u2019s logical calculus and the concept-script. In H. Hermes, F. Kambartel, & F. Kaulback (Eds.), Posthumous writing (pp. 9\u201346). Oxford University Press."},{"key":"9400_CR11","volume-title":"Reason and argument","author":"PT Geach","year":"1976","unstructured":"Geach, P. T. (1976). Reason and argument. University of California Press."},{"key":"9400_CR12","volume-title":"Reference and generality","author":"PT Geach","year":"1980","unstructured":"Geach, P. T. (1980). Reference and generality. Cornell University Press."},{"key":"9400_CR13","doi-asserted-by":"crossref","unstructured":"Goranko, V. (1994). Temporal logic with reference pointers. In Gabbay, D., & Ohlbach, H. (Eds). Proceedings of the 1st international conference on temporal logic, lecture notes in artificial intelligence (Vol. 827, pp. 133\u2013148).","DOI":"10.1007\/BFb0013985"},{"key":"9400_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V Goranko","year":"1996","unstructured":"Goranko, V. (1996). Hierarchies of modal and temporal logics with reference pointers. Journal of Logic, Language, and Information, 5, 1\u201324.","journal-title":"Journal of Logic, Language, and Information"},{"issue":"1","key":"9400_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4216\/jpssj.45.17","volume":"45","author":"Y Hosokawa","year":"2012","unstructured":"Hosokawa, Y. (2012). Formalization of counterfactual inference by dynamic logic. The Philosophy of Science Society, Japan, 45(1), 17\u201333.","journal-title":"The Philosophy of Science Society, Japan"},{"key":"9400_CR16","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford Basil Blackwell."},{"key":"9400_CR17","doi-asserted-by":"publisher","first-page":"455","DOI":"10.2307\/2215339","volume":"13","author":"D Lewis","year":"1979","unstructured":"Lewis, D. (1979). Counterfactual dependence and time\u2019s arrow. No\u00fbs, 13, 455\u2013476. https:\/\/doi.org\/10.2307\/2215339","journal-title":"No\u00fbs"},{"key":"9400_CR18","volume-title":"On the plurality of worlds","author":"D Lewis","year":"1986","unstructured":"Lewis, D. (1986). On the plurality of worlds. Oxford Basil Blackwell."},{"key":"9400_CR19","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1080\/00048409612347521","volume":"74","author":"D Lewis","year":"1996","unstructured":"Lewis, D. (1996). Elusive knowledge. Australasian Journal of Philosophy, 74, 549\u2013567. https:\/\/doi.org\/10.1080\/00048409612347521","journal-title":"Australasian Journal of Philosophy"},{"key":"9400_CR20","first-page":"20","volume":"41","author":"K Okamoto","year":"1999","unstructured":"Okamoto, K. (1999). Early Frege on the language of arithmetic and the concept-script. Historia Philosophiae, 41, 20\u201337.","journal-title":"Historia Philosophiae"},{"key":"9400_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/3501714.3501735","volume":"121","author":"J Pearl","year":"1999","unstructured":"Pearl, J. (1999). Probabilities of causation: Three counterfactual interpretations and their identification. Synthese, 121, 49\u201393. https:\/\/doi.org\/10.1145\/3501714.3501735","journal-title":"Synthese"},{"issue":"2","key":"9400_CR22","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s11229-005-0617-x","volume":"154","author":"T Placek","year":"2007","unstructured":"Placek, T., & M\u00fcller, T. (2007). Counterfactuals and historical possibility. Synthese, 154(2), 173\u201397.","journal-title":"Synthese"},{"key":"9400_CR23","doi-asserted-by":"publisher","first-page":"205","DOI":"10.2307\/2957434","volume":"5","author":"AN Prior","year":"1955","unstructured":"Prior, A. N. (1955). Diodoran modalities. Philosophical Quarterly, 5, 205\u2013213. https:\/\/doi.org\/10.2307\/2957434","journal-title":"Philosophical Quarterly"},{"key":"9400_CR24","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"AN Prior","year":"1967","unstructured":"Prior, A. N. (1967). Past, present and future. Oxford University Press."},{"key":"9400_CR25","volume-title":"Elements of symbolic logic","author":"H Reichenbach","year":"1947","unstructured":"Reichenbach, H. (1947). Elements of symbolic logic. The Macmillan Company."},{"issue":"6","key":"9400_CR26","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1007\/s10992-015-9359-5","volume":"44","author":"D Rothschild","year":"2015","unstructured":"Rothschild, D. (2015). Conditionals and propositions in semantics. Journal of Philosophical Logic, 44(6), 781\u2013791.","journal-title":"Journal of Philosophical Logic"},{"key":"9400_CR27","doi-asserted-by":"crossref","unstructured":"Stalnaker, R. (1968). A theory of conditionals. Reprinted in Jackson F. (Ed). Conditionals, 28\u201345.","DOI":"10.1007\/978-94-009-9117-0_2"},{"key":"9400_CR28","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF02379021","volume":"5","author":"R Stalnaker","year":"1975","unstructured":"Stalnaker, R. (1975). Indicative conditionals. Philosophia, 5, 269\u2013286.","journal-title":"Philosophia"},{"issue":"6","key":"9400_CR29","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s10992-013-9300-8","volume":"43","author":"WB Starr","year":"2014","unstructured":"Starr, W. B. (2014). A uniform theory of conditionals. Journal of Philosophical Logic, 43(6), 1019\u20131064.","journal-title":"Journal of Philosophical Logic"},{"key":"9400_CR30","doi-asserted-by":"publisher","first-page":"341","DOI":"10.2307\/2102968","volume":"4","author":"A Tarski","year":"1944","unstructured":"Tarski, A. (1944). The semantical concept of truth and the foundations of semantics. Philosophy and Phenomenological Research, 4, 341\u2013376. https:\/\/doi.org\/10.2307\/2102968","journal-title":"Philosophy and Phenomenological Research"},{"key":"9400_CR31","unstructured":"Ten Cate, B. (2005). Model theory for extended modal languages. PhD thesis, ILLC Dissertation Series DS-2005-01."},{"key":"9400_CR32","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-94-009-9117-0_15","volume-title":"Ifs","author":"R Thomason","year":"1980","unstructured":"Thomason, R., & Gupta, A. (1980). A theory of conditionals in the context of branching time. In W. Harper, R. Stalnaker, & G. Pearce (Eds.), Ifs (pp. 299\u2013322). Dordrecht: Reidel."},{"key":"9400_CR33","unstructured":"Tsai, C.-J. (2014). Japanese counterfactual conditionals. PhD thesis, Soochow University."},{"key":"9400_CR34","unstructured":"Wittgenstein, L. (2001) [1953]. Philosophical investigations. Blackwell Publishing."},{"key":"9400_CR35","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1004948726086","volume":"112","author":"M Xu","year":"1997","unstructured":"Xu, M. (1997). Causation in branching time (I): Transitions, events and causes. Synthese, 112, 137\u201392. https:\/\/doi.org\/10.1023\/A:1004948726086","journal-title":"Synthese"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09400-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-023-09400-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09400-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T12:07:17Z","timestamp":1693397237000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-023-09400-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,3]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["9400"],"URL":"https:\/\/doi.org\/10.1007\/s10849-023-09400-6","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,3]]},"assertion":[{"value":"16 April 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 June 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}