Abstract
To fix our notation, (S,R,g) denotes a propositional Kripke frame with relation R ⊆ S 2, and an assignment g, (i.e. g(p) ⊆ S, for atom p).
This paper was written while the author was supported by the DFG (Bonn-Bad Godesberg) through the grant RO 245/8 to the university of Stuttgart
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Åqvist, L.: 1979, ‘A conjectured axiomatization of two-dimensional Reichenbachian tense logic,’ Journal of Philosophical Logic 8, 1–45.
Åqvist, L. & F. Guenthner: 1978, ‘Fundamentals of a theory of verb aspect and events within the setting of an improved tense logic,’ in F. Guenthner & C. Rohrer (eds.) Studies in Formal Semantics, North Holland, Amsterdam, 167–199.
Gabbay, D. M.: 1976, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel, Dordrecht.
Gabbay, D. M.: 1977, ‘A tense system with split truth tables,’ Logique et Analyse 80, 5–39.
Gabbay, D. M.: ‘Tense logics and the tenses of English II’, in preparation.
Hoepelman, J.: 1974, ‘Tense logics and the semantics of the Russian aspects,’ Theoretical Linguistics 1, 158–182.
Kamp, H.: 1968, Tense Logics and the Theory of Linear Order, Thesis, Univ. of California.
Prior, A. N.: 1967, Past, Present and Future, Clarendon Oxford.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 D. Reidel Publishing Company
About this chapter
Cite this chapter
Gabbay, D.M. (1981). An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames. In: Mönnich, U. (eds) Aspects of Philosophical Logic. Synthese Library, vol 147. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8384-7_3
Download citation
DOI: https://doi.org/10.1007/978-94-009-8384-7_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-8386-1
Online ISBN: 978-94-009-8384-7
eBook Packages: Springer Book Archive