Journal of Philosophical Logic 42 (1):1-24 (2013)
Authors |
|
Abstract |
In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by such devices as multiple indexing or quantification over times
|
Keywords | Metric tense logic Predicate tense logic Metric temporal logic |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s10992-011-9209-z |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
View all 20 references / Add more references
Citations of this work BETA
The World is Everything That is the Case.M. J. Cresswell - 1972 - Australasian Journal of Philosophy 50 (1):1 – 13.
Similar books and articles
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.
Is the Semantics of Branching Structures Adequate for Non-Metric Ockhamist Tense Logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.
A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic.Lennart Åqvist - 1979 - Journal of Philosophical Logic 8 (1):1 - 45.
The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse.J. F. A. K. van Benthem - 1991 - Kluwer Academic Publishers.
Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
Analytics
Added to PP index
2013-01-26
Total views
71 ( #139,125 of 2,404,067 )
Recent downloads (6 months)
1 ( #550,679 of 2,404,067 )
2013-01-26
Total views
71 ( #139,125 of 2,404,067 )
Recent downloads (6 months)
1 ( #550,679 of 2,404,067 )
How can I increase my downloads?
Downloads