Basic Tense Logic

[1]  John P. Burgess,et al.  The decision problem for linear temporal logic , 1985, Notre Dame J. Formal Log..

[2]  Stephen Read,et al.  The Cambridge History of Later Medieval Philosophy , 1984 .

[3]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[4]  John P. Burgess,et al.  Axioms for tense logic. I. "Since" and "until" , 1982, Notre Dame J. Formal Log..

[5]  J. Benthem,et al.  Tense Logic, Second-Order Logic and Natural Language , 1981 .

[6]  Uwe Mönnich,et al.  Aspects of Philosophical Logic , 1981 .

[7]  D. Gabbay.  Expressive Functional Completeness in Tense Logic (Preliminary report) , 1981 .

[8]  D. Gabbay.  An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames , 1981 .

[9]  Krister Segerberg,et al.  Applying modal logic , 1980 .

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

[11]  Vaughan R. Pratt,et al.  Application of modal logic to programming , 1980 .

[12]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[13]  John P. Burgess,et al.  Logic and time , 1979, Journal of Symbolic Logic.

[14]  Lloyd Humberstone,et al.  Interval semantics for tense logic: Some remarks , 1979, Journal of Philosophical Logic.

[15]  Y. Gurevich.  Expanded theory of ordered Abelian groups , 1977 .

[16]  Krister Segerberg,et al.  An introduction to modal logic : the Lemmon notes , 1977 .

[17]  J.F.A.K. van Benthem,et al.  Tense Logic and Standard Logic , 1977 .

[18]  Dov M. Gabbay,et al.  Investigations in modal and tense logics with applications to problems in philosophy and linguistics , 1976 .

[19]  S. Shelah.  The monadic theory of order , 1975, 2305.00968.

[20]  D. Gabbay.  MODEL THEORY FOR TENSE LOGICS , 1975 .

[21]  Steven K. Thomason,et al.  Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.

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

[23]  M. Rabin.  Decidability of second-order theories and automata on infinite trees. , 1969 .

[24]  R. A. Bull.  An Algebraic Study of Tense Logics with Linear Time , 1968, J. Symb. Log..

[25]  A. Prior.  Papers On Time And Tense , 1968 .

[26]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[27]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

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