The seminal work of Arthur Prior applied the same formal language to treat temporal logic and paved the way for the marriage of the two subjects.
Зачнувачките дела на Артур Прајор го примениле истиот формален јазик за третирање на темпоралната логика и го исчистил патот за бракот помеѓу овие два предмета.