Metadata
Author: WikiMatrix
Data
English[en]
Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971).
Spanish[es]
Prior fundó en 1957 la lógica tensa, también conocida como lógica temporal, e hizo importantes contribuciones a la lógica intensional, particular en Prior (1971).