This is a preview of subscription content, log in via an institution to check access.
References
J. P. Burgess, ‘Basic Tense Logic’, in [6], pp. 89–133.
J. P.Burgess, ‘Axioms for Tense Logic’,Notre Dame Journal of Formal Logic 23 (1982) 367–383.
J. P. Burgess and Y. Gurevich, ‘The Decision Problem for Linear Temporal Logic’,Notre Dame Journal of Formal Logic (to appear).
N. Coccchiarella, ‘Philosophical Perspectives on Quantification in Tense and Modal Logic’, in [6], pp. 309–353.
D. M.Gabbay,Investigations in Modal and Tense Logics, with Applications to Problems in Philosophy and Linguistics, Reidel, Dordrecht, 1976.
D. M. Gabbay and F. Guenther (eds.),Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht (to appear).
Y.Gurevich, ‘Expanded Theory of Ordered Abelian Groups’,Annals of Mathematical Logic 12 (1977) 193–228.
J. W. A. Kamp, ‘Tense Logic and the Theory of Linear Order’, Doctoral Dissertation, University of California at Los Angeles, 1968.
J. W. A. Kamp,Since and Until, Reidel, Dordrecht (to appear).
H.Läuchli and J.Leonard, ‘On the Elementary Theory of Linear Order’,Fundamenta Mathematicae 59 (1966) 109–115.
A. N.Prior,Past, Present and Future, Clarendon Press, Oxford, 1967.
R. H. Thomason, ‘Combinations of Tense and Modality’, in [6], pp. 135–165.
S. K. Thomason, ‘On Constructing Instants from Events’, to appear.
J. F. A. K.vanBenthem, ‘Tense Logic and Standard Logic’,Logique et Analyse 80 (1977) 395–437.
J. F. A. K. van Benthem, ‘Correspondence Theory’, in [6], pp. 167–247.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Burgess, J.P. Beyond tense logic. J Philos Logic 13, 235–248 (1984). https://doi.org/10.1007/BF00707426
Issue Date:
DOI: https://doi.org/10.1007/BF00707426