Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy

Hirokazu Nishimura
Studia Logica: An International Journal for Symbolic Logic
Vol. 40, No. 2 (1981), pp. 89-98
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015012
Page Count: 10
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy
Preview not available

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 quantified K₁ (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].

Page Thumbnails

  • Thumbnail: Page 
[89]
    [89]
  • Thumbnail: Page 
90
    90
  • Thumbnail: Page 
91
    91
  • Thumbnail: Page 
92
    92
  • Thumbnail: Page 
93
    93
  • Thumbnail: Page 
94
    94
  • Thumbnail: Page 
95
    95
  • Thumbnail: Page 
96
    96
  • Thumbnail: Page 
97
    97
  • Thumbnail: Page 
98
    98