 [Findlay] said in a paper published in 1941 [1941b [1963]] that “our conventions with regard to tenses are so well worked out that we have practically the materials in them for a formal calculus. …the calculus of tenses should have been included in the modern development of modal logics”. (1967: 1)