Arthur Prior aplica el mismo lenguaje formal para tratar la lógica temporal.