You are not currently logged in.
Access JSTOR through your library or other institution:
Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy
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
Preview not available
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 , Fine  and Gabbay .
Studia Logica: An International Journal for Symbolic Logic © 1981 Springer