A conjectured axiomatization of two-dimensional Reichenbachian tense logic

Journal of Philosophical Logic 8 (1):1 - 45 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

BC199.T4.A65

DOI

10.1007/bf00258418

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,061

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A conjectured axiomatization of two-dimensional Reichenbachian tense logic.Lennart Åqvist - 1977 - Uppsala: [Filosofiska föreningen och Filosofiska institutionen, Uppsala universitet].
Tense Logic. [REVIEW]Paul Needham, L. Aqvist & F. Guenthner - 1979 - Philosophical Quarterly 29 (117):372.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Gentzen-style axiomatization of tense logic.Kazimierz Trzesicki - 1984 - Bulletin of the Section of Logic 13 (2):75-83.
Deontic Tense Logic With Historical Necessity, Frame Constants, and a Solution to the Epistemic Obligation Paradox.Lennart Åqvist - 2014 - Theoria 80 (4):319-349.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
A Two Dimensional Tense-modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
The logic of historical necessity as founded on two-dimensional modal tense logic.Lennart Åqvist - 1999 - Journal of Philosophical Logic 28 (4):329-369.
Finite Trees in Tense Logic.Bellissima Fabio & Cittadini Saverio - 1999 - Studia Logica 62 (2):121-140.
The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85-108.

Analytics

Added to PP
2009-01-28

Downloads
57 (#392,031)

6 months
1 (#1,582,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.

Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1980 - London: Dover Publications.
Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.

Add more references