En "Semantical Considerations on Modal Logic", publicado en 1963, Kripke respondió a un problema de la teoría cuantificacional clásica: la motivación del enfoque que usa mundos posibles era reflejar la posibilidad de que los objetos en un mundo podrían no existir en otro.