Temporal Reference in Linear Tense Logic

Journal of Philosophical Logic 39 (2):173-200 (2010)

Authors
Max Cresswell
Victoria University of Wellington
Abstract
The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.
Keywords Predicate tense logic  Modal predicate logic
Categories (categorize this paper)
DOI 10.1007/s10992-009-9122-x
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: 48,824
Through your library

References found in this work BETA

Counterfactuals.David K. Lewis - 1973 - Blackwell.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.

View all 34 references / Add more references

Citations of this work BETA

Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.

Add more citations

Similar books and articles

Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Tense, Propositions, and Facts.Ulrich Meyer - 2016 - Synthese 193 (11):3691-3699.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Outline for a Truth-Conditional Semantics for Tense.Ernest Lepore & Kirk Ludwig - 2003 - In Quentin Smith & Aleksandar Jokic (eds.), Tense, Time and Reference. MIT Press. pp. 49-105.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
A Note on the Interpolation Property in Tense Logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Tense Logic a Study of Temporal Reference.Nino Cocchiarella - 1974 - University Microfilms International.

Analytics

Added to PP index
2010-01-13

Total views
116 ( #75,540 of 2,309,318 )

Recent downloads (6 months)
1 ( #761,345 of 2,309,318 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature