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

Studia Logica 40 (2):89 - 98 (1981)

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].
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01874701
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,999
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Model Theory for Modal Logic—Part II The Elimination of de Re Modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.
Model Theory for Tense Logics.Dov M. Gabbay - 1975 - Annals of Pure and Applied Logic 8 (1):185.
An Algebraic Study of Tense Logics with Linear Time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
25 ( #347,016 of 2,266,785 )

Recent downloads (6 months)
1 ( #845,032 of 2,266,785 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature