Skip to main content
SpringerLink
Log in

Model theory for tense logic: Saturated and special models with applications to the tense hierarchy

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.

In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. L. Bell andA. B. Slomson,Models and Ultraproducts, North Holland, 1969.

  2. K. A. Bowen,Normal modal model theory,Journal of Philosophical Logic 4 (1975), pp. 97–131.

    Google Scholar 

  3. R. A. Bull,Algebraic study of tense logics with linear time,Journal of Symbolic Logic 33 (1968), pp. 27–38.

    Google Scholar 

  4. C. C. Chang andG. Keisler,Model Theory, North-Holland, 1973.

  5. K. Fine,Model theory for modal logic — Part 1,Journal of Philosophical Logic 7 (1978), pp. 125–156.

    Google Scholar 

  6. D. M. Gabbay,Model theory for tense logics,Annals of Mathematical Logic 8 (1975), pp. 185–236.

    Google Scholar 

  7. D. M. Gabbay,Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel, 1976.

  8. A. N. Prior,Past, Present and Future, Clarendon, Oxford, 1967.

    Google Scholar 

  9. N. Rescher andA. Urquhart,Temporal Logic, Springer-Verlag, 1971.

Download references

Author information

Authors and Affiliations

  1. Research Institute for Mathematical Sciences, Kyoto University, T606, Kyoto, Japan

    Hirokazu Nishimura

Authors
  1. Hirokazu Nishimura
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nishimura, H. Model theory for tense logic: Saturated and special models with applications to the tense hierarchy. Stud Logica 40, 89–98 (1981). https://doi.org/10.1007/BF01874701

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01874701

Keywords

Search

Navigation