The paper gives a physicist's view on the framework of branching space-time. Branching models are constructed from physical state assignments. The models are then employed to give a formal semantics for the modal operators "possibly" and "necessarily" and for the counterfactual conditional. The resulting formal language can be used to analyze quantum correlation experiments. As an application sketch, Stapp's premises LOC1 and LOC2 from his purported proof of nonlocality are analyzed. (edited)
CITATION STYLE
Müller, T. (2002). Branching Space-Time, Modal Logic and the Counterfactual Conditional. In Non-locality and Modality (pp. 273–291). Springer Netherlands. https://doi.org/10.1007/978-94-010-0385-8_18
Mendeley helps you to discover research relevant for your work.