David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 28 (4):371-398 (1999)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Dov M. Gabbay, Ian Hodkinson & Mark Reynolds (1994). Temporal Logic Mathematical Foundations and Computational Aspects. Monograph Collection (Matt - Pseudo).
George Gargov & Valentin Goranko (1993). Modal Logic with Names. Journal of Philosophical Logic 22 (6):607 - 636.
Brian F. Chellas (1992). Time and Modality in the Logic of Agency. Studia Logica 51 (3-4):485 - 517.
Dov M. Gabbay (1981). An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames. In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht 67--89.
Alberto Zanardo (1996). Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic. Journal of Symbolic Logic 61 (1):1-39.
Citations of this work BETA
Stefan Wölfl (2002). Propositional Q-Logic. Journal of Philosophical Logic 31 (5):387-414.
Thomas Müller (2015). Time and Determinism. Journal of Philosophical Logic 44 (6):729-740.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Max A. Freund (2007). A Two Dimensional Tense-Modal Sortal Logic. Journal of Philosophical Logic 36 (5):571 - 598.
Daniel Rönnedal (2012). Temporal Alethic–Deontic Logic and Semantic Tableaux. Journal of Applied Logic 10 (3):219-237.
Similar books and articles
Kit Fine (2005). Modality and Tense. Oxford University Press.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Josh Parsons (2003). A–Theory for Tense Logicians. Analysis 63 (277):4–6.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Graeme Forbes (2008). Critical Notice of Kit Fine's Modality and Tense: Philosophical Papers. Philosophical Review 117 (2):275-287.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
Added to index2009-01-28
Total downloads57 ( #83,770 of 1,941,042 )
Recent downloads (6 months)11 ( #88,283 of 1,941,042 )
How can I increase my downloads?