David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 28 (4):329-369 (1999)
We consider a version of so called T x W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of systematic frame constants in order to handle the problem of irreflexivity in tense logics, well known since Gabbay (1981). Axiomatizations are given for two infinite hierarchies of two-dimensional modal tense logics, one without and one with the characteristic operators for historical necessity and possibility. Strong and weak completeness results are obtained for both hierarchies as well as a result to the effect that two approaches to their semantics are equivalent, much in the spirit of Di Maio and Zanardo (1996) and von Kutschera (1997)
|Keywords||historical necessity finite two-dimensional coordinate system frame constants|
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
Lennart Åqvist (2002). Old Foundations for the Logic of Agency and Action. Studia Logica 72 (3):313-338.
Lennart Aqvist (2002). Old Foundations for the Logic of Agency and Action. Studia Logica 72 (3):313 - 338.
Franz von Kutschera (1997). T × W Completeness. Journal of Philosophical Logic 26 (3):241 - 250.
Lennart Åqvist (1979). A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic. Journal of Philosophical Logic 8 (1):1 - 45.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Lennart Åqvist (1996). Discrete Tense Logic with Infinitary Inference Rules and Systematic Frame Constants: A Hilbert-Style Axiomatization. [REVIEW] Journal of Philosophical Logic 25 (1):45 - 100.
Martin Davies (2004). Reference, Contingency, and the Two-Dimensional Framework. Philosophical Studies 118 (1-2):83-131.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Added to index2009-01-28
Total downloads52 ( #31,867 of 1,102,831 )
Recent downloads (6 months)11 ( #18,470 of 1,102,831 )
How can I increase my downloads?