Model theory for tense logic: Saturated and special models with applications to the tense hierarchy
- 52 Downloads
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 quantifiedK1 (for linear time) with constant domain. Our present research owes much to Bowen , Fine  and Gabbay .
KeywordsMathematical Logic Special Model Model Theory Linear Time Existence Theorem
Unable to display preview. Download preview PDF.
- J. L. Bell andA. B. Slomson,Models and Ultraproducts, North Holland, 1969.Google Scholar
- K. A. Bowen,Normal modal model theory,Journal of Philosophical Logic 4 (1975), pp. 97–131.Google Scholar
- R. A. Bull,Algebraic study of tense logics with linear time,Journal of Symbolic Logic 33 (1968), pp. 27–38.Google Scholar
- C. C. Chang andG. Keisler,Model Theory, North-Holland, 1973.Google Scholar
- K. Fine,Model theory for modal logic — Part 1,Journal of Philosophical Logic 7 (1978), pp. 125–156.Google Scholar
- D. M. Gabbay,Model theory for tense logics,Annals of Mathematical Logic 8 (1975), pp. 185–236.Google Scholar
- D. M. Gabbay,Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel, 1976.Google Scholar
- A. N. Prior,Past, Present and Future, Clarendon, Oxford, 1967.Google Scholar
- N. Rescher andA. Urquhart,Temporal Logic, Springer-Verlag, 1971.Google Scholar