1.NounAn alternative to standard possible worlds semantics in which an individual can exist in only one world, while other possible worlds contain (different) counterparts to that individual, and in which the modality operators (necessity, possibility) are replaced by quantifiers over possible worlds.