Marcus Kracht Oliver Kutz The Semantics of Modal Predicate Logic I. Counterpart-Frames. 299-320 2000 conf/aiml/2000 Advances in Modal Logic db/conf/aiml/aiml2000.html#KrachtK00