Kripke aportó la herramienta básica para el análisis semántico de la lógica modal: la semántica de mundos posibles.