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
Keywords tense  modality  Kamp-semantics  T×W-semantics  (strong) completeness
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004359325754
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,836
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 12 references / Add more references

Citations of this work BETA
Propositional Q-Logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
A Two Dimensional Tense-Modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.
Temporal Alethic–Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
64 ( #93,017 of 2,231,661 )

Recent downloads (6 months)
3 ( #190,811 of 2,231,661 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature