{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T09:55:51Z","timestamp":1763978151821,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T00:00:00Z","timestamp":1583452800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T00:00:00Z","timestamp":1583452800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"crossref","award":["2016\/22\/M\/HS1\/00160"],"award-info":[{"award-number":["2016\/22\/M\/HS1\/00160"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["MU1816\/7-1"],"award-info":[{"award-number":["MU1816\/7-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The theory of branching space-times, put forward by Belnap (<jats:italic>Synthese<\/jats:italic>92, 1992), considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the (local) possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle.<\/jats:p>","DOI":"10.1007\/s11225-020-09905-2","type":"journal-article","created":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T13:02:52Z","timestamp":1583499772000},"page":"239-284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["New Foundations for Branching Space-Times"],"prefix":"10.1007","volume":"109","author":[{"given":"N.","family":"Belnap","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1225-1483","authenticated-orcid":false,"given":"T.","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"T.","family":"Placek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,6]]},"reference":[{"issue":"3","key":"9905_CR1","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/BF00414289","volume":"92","author":"N Belnap","year":"1992","unstructured":"Belnap, N., Branching space-time. Synthese 92(3):385\u2013434, 1992. See also the postprint, Belnap (2003).","journal-title":"Synthese"},{"key":"9905_CR2","first-page":"227","volume-title":"Actions, Norms, Values: Discussions with Georg Henrik von Wright","author":"N Belnap","year":"1999","unstructured":"Belnap, N., Concrete transitions. In G. Meggle, (ed.), Actions, Norms, Values: Discussions with Georg Henrik von Wright, Berlin: de Gruyter, 1999, pp. 227\u2013236."},{"key":"9905_CR3","unstructured":"Belnap, N., Branching space-time. Pittsburgh PhilSci-Archive. 2003. http:\/\/philsci-archive.pitt.edu\/1003\/."},{"key":"9905_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1093\/bjps\/axi115","volume":"56","author":"N Belnap","year":"2005","unstructured":"Belnap, N., A theory of causation: Causae causantes (originating causes) as inus conditions in branching space-times. British Journal for the Philosophy of Science 56:221\u2013253, 2005.","journal-title":"British Journal for the Philosophy of Science"},{"key":"9905_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: Agents and choices in our indeterminist world","author":"N Belnap","year":"2001","unstructured":"Belnap, N., M. Perloff, and M. Xu, Facing the future: Agents and choices in our indeterminist world. Oxford University Press, Oxford. 2001."},{"key":"9905_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S1871-1774(08)00010-7","volume-title":"The Ontology of Spacetime II","author":"J Earman","year":"2008","unstructured":"Earman, J., Pruning some branches from branching space-times. In D. Dieks, (ed.), The Ontology of Spacetime II, Amsterdam: Elsevier, 2008, pp. 187\u2013206."},{"key":"9905_CR7","first-page":"9","volume-title":"Logic and Philosophy of Time: Themes from Prior","author":"D Jacobsen","year":"2017","unstructured":"Jacobsen, D., P. \u00d8hrstr\u00f8m, and P. Hasle, In celebration of Past, Present and Future. In P. Hasle, P. Blackburn, and P. \u00d8hrstr\u00f8m, (eds.), Logic and Philosophy of Time: Themes from Prior, Aalborg University Press, Aalborg, 2017, pp. 9\u201327."},{"key":"9905_CR8","volume-title":"On the plurality of worlds","author":"DK Lewis","year":"1986","unstructured":"Lewis, D. K., On the plurality of worlds. Blackwell, Oxford. 1986."},{"key":"9905_CR9","doi-asserted-by":"publisher","unstructured":"Luc, J., Generalised manifolds as basic objects of General Relativity. Foundations of Physics. Forthcoming; 2019. https:\/\/doi.org\/10.1007\/s10701-019-00292-w.","DOI":"10.1007\/s10701-019-00292-w"},{"issue":"1","key":"9905_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1086\/706116","volume":"87","author":"J Luc","year":"2020","unstructured":"Luc, J., and T. Placek, Interpreting non-Hausdorff (generalized) manifolds in General Relativity. Philosophy of Science 87(1):21\u201342, 2020.","journal-title":"Philosophy of Science"},{"issue":"7","key":"9905_CR11","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/s10702-005-1319-9","volume":"18","author":"G McCabe","year":"2005","unstructured":"McCabe, G., The topology of branching universes. Foundations of Physics Letters 18(7):665\u2013676, 2005.","journal-title":"Foundations of Physics Letters"},{"key":"9905_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-94-009-0681-5_15","volume-title":"Truth or consequences","author":"S McCall","year":"1990","unstructured":"McCall, S., Choice trees. In J. Dunn, and A. Gupta, (eds.), Truth or consequences. Essays in honor of Nuel Belnap, Kluwer, Dordrecht, 1990, pp. 231\u2013244."},{"issue":"3","key":"9905_CR13","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1093\/bjps\/axi132","volume":"56","author":"T M\u00fcller","year":"2005","unstructured":"M\u00fcller, T., Probability theory and causation: a branching space-times analysis. British Journal for the Philosophy of Science 56(3):487\u2013520, 2005.","journal-title":"British Journal for the Philosophy of Science"},{"key":"9905_CR14","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s10992-010-9138-2","volume":"39","author":"T M\u00fcller","year":"2010","unstructured":"M\u00fcller, T., Towards a theory of limited indeterminism in branching space-times. Journal of Philosophical Logic 39:395\u2013423, 2010.","journal-title":"Journal of Philosophical Logic"},{"key":"9905_CR15","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1086\/673895","volume":"80","author":"T M\u00fcller","year":"2013","unstructured":"M\u00fcller, T., A generalized manifold topology for branching space-times. Philosophy of Science 80:1089\u20131100, 2013.","journal-title":"Philosophy of Science"},{"issue":"4","key":"9905_CR16","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1016\/j.shpsb.2004.06.001","volume":"35","author":"T Placek","year":"2004","unstructured":"Placek, T., Quantum state holism: a case for holistic causation. Studies in History and Philosophy of Modern Physics 35(4):671\u2013692, 2004.","journal-title":"Studies in History and Philosophy of Modern Physics"},{"key":"9905_CR17","unstructured":"Placek, T., Bell-type correlations in branching space-times. In T. Czarnecki, K. Kijania-Placek, O. Poller, and J. Wole\u0144ski, (eds.), The Analytic Way. Proceedings of the European Congres on Analytic Philosophy, Krak\u00f3w, August 2008. London: College Publications. 2010."},{"key":"9905_CR18","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s10670-013-9455-2","volume":"79","author":"T Placek","year":"2014","unstructured":"Placek, T., N. Belnap, and K. Kishida, On topological issues of indeterminism. Erkenntnis 79:403\u2013436, 2014.","journal-title":"Erkenntnis"},{"key":"9905_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10849-015-9231-6","volume":"25","author":"A Rumberg","year":"2016","unstructured":"Rumberg, A., Transition semantics for branching time. Journal of Logic, Language and Information 25:77\u2013108, 2016.","journal-title":"Journal of Logic, Language and Information"},{"key":"9905_CR20","unstructured":"Rumberg, A., Transitions: toward a Semantics for Real Possibility. PhD thesis, University of Utrecht. 2016."},{"key":"9905_CR21","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s10849-018-9276-4","volume":"28","author":"A Rumberg","year":"2019","unstructured":"Rumberg, A., and A. Zanardo, First-order definability of transition structures. Journal of Logic, Language and Information 28:459\u2013488, 2019.","journal-title":"Journal of Logic, Language and Information"},{"key":"9905_CR22","unstructured":"Strobach, N., Alternativen in der Raumzeit. Eine Studie zur philosophischen Anwendung multidimensionaler Aussagenlogiken, volume\u00a016 of Logische Philosophie. Logos, Berlin. 2007."},{"key":"9905_CR23","volume-title":"Norm and Action. A Logical Inquiry.","author":"GH von Wright","year":"1963","unstructured":"von Wright, G.\u00a0H., Norm and Action. A Logical Inquiry. London: Routledge. 1963."},{"key":"9905_CR24","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226870373.001.0001","volume-title":"General Relativity","author":"RM Wald","year":"1984","unstructured":"Wald, R.\u00a0M., General Relativity. Chicago University Press, Chicago, IL. 1984."},{"key":"9905_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-004-6240-4","volume":"149","author":"M Weiner","year":"2006","unstructured":"Weiner, M., and N. Belnap, How causal probabilities might fit into our objectively indeterministic world. Synthese 149:1\u201336, 2006.","journal-title":"Synthese"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09905-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-020-09905-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09905-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T18:58:23Z","timestamp":1722538703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-020-09905-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,6]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9905"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09905-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,3,6]]},"assertion":[{"value":"19 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}