Øhrstrøm, P.; Prior, M.; Müller, A. M.; Jakobsen, D. A.N. Prior’s Development and Presentation of Tense-Logic and Its Context in June-August 1954. LogicPhilTime 2025, 6.