Más tarde, Scott y Montague descubrieron independientemente una importante generalización de la semántica de Kripke para la lógica modal y tensa, llamada semántica de Scott-Montague (Scott 1970).