A. N. Prior's rediscovery of tense logic

[1]  Ivo Thomas.  In memoriam A. N. Prior (1914-1969) , 1971, Notre Dame J. Formal Log..

[2]  Robin Le Poidevin.  Change, Cause and Contradiction: A Defence of the Tenseless Theory of Time , 1991 .

[3]  Roger Hale,et al.  Temporal logic programming , 1987 .

[4]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[5]  Carl Friedrich von Weizsäcker,et al.  The Unity of Physics , 1969 .

[6]  John Niemeyer Findlay,et al.  Time: A treatment of some puzzles , 1941 .

[7]  Peter Øhrstrøm.  Anselm, Ockham and Leibniz on divine foreknowledge and human freedom , 1984 .

[8]  C. N. Gordon.  The identification of a preferred inertial frame , 1975 .

[9]  Bas C. van Fraassen,et al.  Report on Tense Logic , 1981 .

[10]  Ian Hacking,et al.  What is logic , 1979 .

[11]  K. Fine,et al.  Worlds, times and selves , 1977 .

[12]  Arthur N. Prior,et al.  The Notion of the Present , 1972 .

[13]  Peter Øhrstrøm,et al.  Medieval Logic and Natural Language Understanding , 1991, Natural Language Understanding and Logic Programming Workshop.

[14]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[15]  Storrs McCall,et al.  Objective Time Flow , 1976, Philosophy of Science.

[16]  Robert Goldblatt.  Diodorean modality in Minkowski spacetime , 1980 .

[17]  Gerald J. Massey.  Tense Logic! Why Bother? , 1969 .

[18]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[19]  Per F. V. Hasle.  Building a Temporal Logic for Natural Language Understanding with the HOL-system , 1991, Natural Language Understanding and Logic Programming Workshop.

[20]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[21]  Howard Barringer.  Temporal Logic and its Applications , 1987 .

[22]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[23]  Mordechai Ben-Ari,et al.  The Temporal Logic of Branching Time , 1981, POPL.