A.N. Prior, notable lógico, creador de la lógica temporal e investigador precursor de las llamadas lógicas intensionales. El trabajo de Prior lleva a descubrir antes que Kripke una versión de la “semántica de mundos posibles”.
La obra seminal de Prior lo señalan también como un padre precursor de las lógicas hibridas.
