Bibliography
Gabbay, D. M.,Model Theory for Tense Logics, Jerusalem, 1969.
Gabby, D. M. ‘Selective Filtration in Model Logics, I’,Theoria, to appear.
Kamp, H.,Seminar Notes on Tense Logics, Journal of Symbolic Logic, 1968.
Schindler, P., ‘Tense Logic for Discrete Future Time’,Journal of Symbolic Logic (1970), 105–118.
Segerberg, K., ‘On Some Extensions ofS4 Abstract’,Journal of Symbolic Logic (1970), 363.
Bull, R. A., ‘Algebraic Study of Diodorian Systems’,Journal of Symbolic Logic (1965), 58–64.
Bull, R. A., ‘Algebraic Study of Tense Logics With Linear Time’,Journal of Symbolic Logic (1968), 27–38.
Scott, D.,The Logic of Tenses, Stanford 1965.
Author information
Authors and Affiliations
Additional information
This research has been supported in part by National Science Foundation under Grant NSFGJ-443X.
Rights and permissions
About this article
Cite this article
Gabbay, D.M. Tense systems with discrete moments of time, part I. J Philos Logic 1, 35–44 (1972). https://doi.org/10.1007/BF00649989
Issue Date:
DOI: https://doi.org/10.1007/BF00649989