Relativ zur möglichen Welt \(w_{1}\) ist der Satz X wahr. Relative zu \(w_{2}\) ist Satz X falsch. Der Wechsel des Wahrheitswertes von X ist prima facie rätselhaft.
Eine Analyes von X ist mit der folgenden Definition von Pafel der minimal-differenter Möglicher Welten (Weltverläufen) möglich:
Df. W seien Weltferläufe, P Propositionen und @ die aktuale Welt, dann gilt:
W ist ein zu @ minimal differenter P-Weltverlauf =
W ist von der Art, dass
(i) P in W wahr ist und
(ii) jeder Vorgang bzw. Zustand in @, der mit dem Zutreffen von P kompatibel ist, in W auf möglichst ähnliche Weise stattfindet bzw., besteht.