The logic of historical necessity as founded on two-dimensional modal tense logic

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)
Reprint years 2004
DOI 10.1023/A:1004425728816
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,215
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Axiomatizing Hybrid Products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.
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

Monthly downloads

Added to index


Total downloads

81 ( #64,159 of 2,164,580 )

Recent downloads (6 months)

2 ( #188,391 of 2,164,580 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums