uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Law, Department of Law.
1999 (English)In: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 28, no 4, 329-369 p.Article in journal (Other academic) Published
Abstract [en]

We consider a version of so called T × 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).

Place, publisher, year, edition, pages
1999. Vol. 28, no 4, 329-369 p.
Keyword [en]
historical necessity, finite two-dimensional coordinate system, frame constants
National Category
Social Sciences
URN: urn:nbn:se:uu:diva-31586DOI: 10.1023/A:1004425728816OAI: oai:DiVA.org:uu-31586DiVA: diva2:59483
Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2013-10-02Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Åqvist, Lennart
By organisation
Department of Law
In the same journal
Journal of Philosophical Logic
Social Sciences

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 139 hits
ReferencesLink to record
Permanent link

Direct link