Abstract

Quantification into modal contexts depends on cross-Identifications of individuals between possible worlds, Which in turn depends on the structure and interrelations of these worlds. There is hence no guarantee that cross-Identification always succeeds. It will fail for the worlds needed for realistic applications of logical modalities, Partly vindicating quine's criticism of them. In general, World lines of individuals cannot always be extended from a world to others