The Semantics of Modal Predicate Logic II. Modal Individuals Revisited.
Marcus Kracht and Oliver Kutz
We continue the investigations begun in "The Semantics of Modal Predicate Logic I" (AIML 3, 2002). We shall define a semantics that is built on a new kind of frames, called coherence frames. In these frames, objects are transcendental (world-independent), as in the standard constant-domain semantics. This will remove the asymmetry between constants and variables of the counterpart semantics of Part I.
We demonstrate the completeness of (general) coherence frames with respect to first- and certain weak second-order logics and we shall compare this notion of a frame to counterpart frames as introduced in Part I and the metaframe semantics of Skvortsov/Shehtman 1993.