Journal of Philosophical Logic

, Volume 28, Issue 4, pp 371–398

Combinations of Tense and Modality for Predicate Logic

  • Stefan Wölfl

DOI: 10.1023/A:1004359325754

Cite this article as:
Wölfl, S. Journal of Philosophical Logic (1999) 28: 371. doi:10.1023/A:1004359325754


In recent years combinations of tense and modality have moved into the 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×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×W-semantics. (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.

tense modality Kamp-semantics T×W-semantics (strong) completeness 

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Stefan Wölfl
    • 1
  1. 1.Institut für Philosophie Universität RegensburgRegensburgGermany