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.
No hay comentarios:
Publicar un comentario