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
Keywords tense  modality  Kamp-semantics  T×W-semantics  (strong) completeness
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004359325754
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

References found in this work BETA

Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Time and Modality in the Logic of Agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.

View all 13 references / Add more references

Citations of this work BETA

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.

Analytics

Added to PP index
2009-01-28

Total views
133 ( #90,247 of 2,533,599 )

Recent downloads (6 months)
1 ( #389,998 of 2,533,599 )

How can I increase my downloads?

Downloads

My notes