Studia Logica 40 (2):89 - 98 (1981)
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 , Fine  and Gabbay .
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Model Theory for Modal Logic—Part II The Elimination of de Re Modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.
Review: John Thomas Canty, Systems Classically Axiomatized and Properly Contained in Lewis's $S3$. [REVIEW]R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-309.
Citations of this work BETA
No citations found.
Similar books and articles
The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
'Now' and 'Then' in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Added to index2009-01-28
Total downloads12 ( #376,651 of 2,169,749 )
Recent downloads (6 months)4 ( #82,217 of 2,169,749 )
How can I increase my downloads?