Combinations of tense and modality for predicate logic

Journal of Philosophical Logic 28 (4):371-398 (1999)

Abstract

In recent years combinations of tense and modality have moved intothe focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of predicate logic are desirable, and in this paper I present two such results. The main developments in this area can be split into two directions, differing in the question whether the ordering of time is world-independent or not. Semantically, this difference appears in the discussion whether T x W-frames or Kamp-frames (resp. Ockham-frames) provide a suitable semantics for combinations of tense and modality. Here, two calculi are presented, the first adequate with respect to Kamp-semantics, the second to T x Wsemantics. (Both calculi contain an appropriate version of Gabbay's irreflexivity rule.) Furthermore, the proposed constructions of canonical frames simplify some of those which have hitherto been discussed

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
133 (#90,432)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Temporal Alethic–Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.
Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.

View all 12 citations / Add more citations

Similar books and articles

Modality and Tense: Philosophical Papers.Kit Fine - 2005 - Oxford, England: Oxford University Press.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
A–Theory for Tense Logicians.Josh Parsons - 2003 - Analysis 63 (1):4–6.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.