Develops the possible-world semantics of quantum counterfactuals using David Lewis' approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics.