Journal of Philosophical Logic 42 (1):1-24 (2013)

Max Cresswell
Victoria University of Wellington
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)
DOI 10.1007/s10992-011-9209-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

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

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Time and Modality.A. N. PRIOR - 1955 - Greenwood Press.

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.
Semantic Nominalism.John Bigelow - 1981 - Australasian Journal of Philosophy 59 (4):403 – 421.

Add more citations

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.
Stratified Metric Tense Logic.A. N. Prior - 1967 - Theoria 33 (1):28-38.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.
No Future.Leon Horsten & Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (3):259-265.
Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.


Added to PP index

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?


My notes