  Prior always had a firm belief that his tense logic would one day find useful applications in other disciplines (possibly in mathematical physics, he thought). When the outside demand for tense logic did come, it was from linguistics (via Montague’s papers, especially his 1970) and from computer science. An early and influential computer science application was by Pnueli, who employed tense logic in formal reasoning about the behaviour of concurrent programs (Pnueli 1977). Pnueli is sometimes mistakenly credited with having originated tense logic, but in fact he first learned of it from the classic 1971 volume Temporal Logic by Rescher and Urquhart (Øhrstrøm and Hasle 1995: 344)—a book dedicated to Prior and which is an elegant introduction to his work. The citation for Pnueli’s 1996 A. M. Turing Award begins ‘For seminal work introducing temporal logic into computing science’. (Goldblatt 1987 surveys the connections between temporal logic and computer science that were emerging during the decade following Pnueli 1997.)