This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics.
Counterfactual conditionals (subjunctive conditionals) enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system.
