Tense Logic
Philosophy Compass 10 (6):406-419 (2015)
Abstract
This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logicAuthor's Profile
My notes
Similar books and articles
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Time, Tense, and Quantifiers: Proceedings of the Stuttgart Conference on the Logic of Tense and Quantification.Christian Rohrer - 1980 - De Gruyter.
The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Review: A. N. Prior, Tense-Logic and the Continuity of Time; R. A. Bull, An Algebraic Study of Diodorean Modal Systems; A. N. Prior, Postulates for Tense-Logic. [REVIEW]Alan Ross Anderson - 1967 - Journal of Symbolic Logic 32 (2):245-246.
Gentzen-style axiomatization of tense logic.Kazimierz Trzesicki - 1984 - Bulletin of the Section of Logic 13 (2):75-83.
A conjectured axiomatization of two-dimensional Reichenbachian tense logic.Lennart Åqvist - 1979 - Journal of Philosophical Logic 8 (1):1 - 45.
Review: R. A. Bull, An Algebraic Study of Tense Logics with Linear Time; R. A. Bull, Note on a Paper in Tense Logic. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173-173.
Analytics
Added to PP
2015-06-04
Downloads
63 (#190,807)
6 months
1 (#447,993)
2015-06-04
Downloads
63 (#190,807)
6 months
1 (#447,993)
Historical graph of downloads
Author's Profile
Citations of this work
References found in this work
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.