Der Kern der Kripke-Semantik, worin sie sich von anderen Ansätzen, die ebenfalls Leibniz Idee der möglichen Welt aufgreifen, unterscheidet, ist, dass Kripke nicht einfach über Welten quantifiziert, sondern gewissermaßen über deren Zugänglichkeitsrelation. Es ist also eine Semantik der Universellen Nachbarschaft.