On some U,S-tense logics

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

J. P. Burgess, ‘Axioms for Tense Logic I. “Since” and “Until”’, Notre Dame Journal of Formal Logic 23 (1982), pp. 367–374.
Google Scholar
J. P. Burgess, ‘Basic Tense Logic’, in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 1984, pp. 89–133.
Google Scholar
S. K. Thomason, ‘Semantic Analysis of Tense Logics’, The Journal of Symbolic Logic 37 (1972), pp. 150–158.
Google Scholar
S. K. Thomason, ‘An Incompleteness Theorem in Modal Logic’, Theoria 40 (1974), pp. 30–34.
Google Scholar
J. A. K. van Benthem, ‘Two Simple Incomplete Modal Logics’, Theoria 44 (1978), pp. 25–37.
Google Scholar
J. F. A. K. van Benthem, ‘Syntactic Aspects of Modal Incompleteness Theorems’, Theoria 45 (1979), pp. 63–77.
Google Scholar
J. F. A. K. van Benthem, ‘Tense Logic, Second-Order Logic and Natural Language’, in U. Mönnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 1981, pp. 1–20.
Google Scholar
J. F. A. K. van Benthem, ‘Correspondence Theory’, in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 1984, pp. 167–247.
Google Scholar

Logic Section, Institute of Philosophy, Chinese Academy of Social Sciences, Beijing, P.R.C.
Ming Xu

Authors

Ming Xu
View author publications
You can also search for this author in PubMed Google Scholar

Xu, M. On some U,S-tense logics. J Philos Logic 17, 181–202 (1988). https://doi.org/10.1007/BF00247911

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.