Jakobsen, D. (2017) The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic. In: Hasle, P., Blackburn, P. and Øhrstrøm, P.(eds.): Logic and Philosophy of Time: Themes from Prior. Aalborg University Press: pp., 63--82. (Logic and Philosophy of Time: Themes from Prior.