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: 33,190
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.
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.

Analytics

Added to PP index
2013-01-26

Total downloads
51 ( #118,607 of 2,242,291 )

Recent downloads (6 months)
1 ( #410,280 of 2,242,291 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature