Journal of Philosophical Logic 28 (4):371-398 (1999)
AbstractIn 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
Added to PP
Historical graph of downloads
References found in this work
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames.Dov M. Gabbay - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 67--89.
Time and Modality in the Logic of Agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
Citations of this work
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
Quantification Over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - Studia Logica 82 (3):379-400.
Temporal Alethic–Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.
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.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Critical Notice of Kit Fine's Modality and Tense: Philosophical Papers.Graeme Forbes - 2008 - Philosophical Review 117 (2):275-287.