Predicate Metric Tense Logic for 'Now' and 'Then'

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

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

Download options

Our Archive


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

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.

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.

Analytics

Added to PP index
2013-01-26

Total views
65 ( #126,142 of 2,265,045 )

Recent downloads (6 months)
2 ( #607,349 of 2,265,045 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature