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

Journal of Philosophical Logic 42 (1):1-24 (2013)
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
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,827
Through your library
References found in this work BETA
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
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
2013-01-26

Total downloads
51 ( #111,154 of 2,210,003 )

Recent downloads (6 months)
2 ( #221,824 of 2,210,003 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature