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.
Η δημιουργική εργασία του Άρθουρ Πριόρ εφήρμοσε την ίδια τυπική γλώσσα για την αντιμετώπιση της χρονικής λογικής και άνοιξε το δρόμο για το "γάμο" των δύο θεμάτων.