Dos de los trabajos más tempranos de Kripke, -"A Completeness Theorem in Modal Logic" y "Semantical Considerations on Modal Logic"- ("Un teorema de completitud en lógica modal"; "Consideraciones semánticas sobre la lógica modal") fueron muy influyentes en la lógica modal.