Journal of Philosophical Logic 28 (4):329-369 (1999)
Abstract |
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) |
Reprint years | 2004 |
DOI | 10.1023/A:1004425728816 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
Temporal Alethic–Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.
Deontic Tense Logic With Historical Necessity, Frame Constants, and a Solution to the Epistemic Obligation Paradox.Lennart Åqvist - 2014 - Theoria 80 (4):319-349.
The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22.
View all 6 citations / Add more citations
Similar books and articles
The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Old Foundations for the Logic of Agency and Action.Lennart Åqvist - 2002 - Studia Logica 72 (3):313-338.
A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic.Lennart Åqvist - 1979 - Journal of Philosophical Logic 8 (1):1 - 45.
Discrete Tense Logic with Infinitary Inference Rules and Systematic Frame Constants: A Hilbert-Style Axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.
Reference, Contingency, and the Two-Dimensional Framework.Martin Davies - 2004 - Philosophical Studies 118 (1-2):83-131.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Analytics
Added to PP index
2009-01-28
Total views
108 ( #109,764 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
2009-01-28
Total views
108 ( #109,764 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
How can I increase my downloads?
Downloads