Counterpart-Theoretic Semantics for Modal Logic