Temporal Logic

Philosophical Quarterly 22 (89):370-371 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.2307/2218321

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.
Filozoficzny i fizykalny aspekt przyczynowosci w ujęciu Dawida Bohma. [REVIEW]Zygmunt Hajduk - 1975 - Roczniki Filozoficzne 23 (3):49-74.
Temporal Logic = Library of Exact Philosophy, Vol. 3.Nicholas Rescher & Alasdair Urquhart - 1973 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 4 (1):178-187.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Temporal modalities in Arabic logic.Nicholas Rescher - 1967 - Dordrecht,: D. Reidel.
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
RESCHER, N. and URQUHART, A. - "Temporal Logic". [REVIEW]P. L. Mott - 1973 - Mind 82:461.
Three-Valued Temporal Logic Q t and Future Contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2008 - Studia Logica 88 (2):215-231.
Arthur Prior and Medieval Logic.Sara L. Uckelman - 2012 - Synthese 188 (3):349-366.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
An infinitary variant of Metric Temporal Logic over dense time domains.S. Baratella - 2004 - Mathematical Logic Quarterly 50 (3):249.
Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.
Temporal Modalities in Arabic Logic.Hans Kamp - 1973 - Journal of Symbolic Logic 38 (2):325-326.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.

Analytics

Added to PP
2017-02-20

Downloads
12 (#1,062,297)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
To be and not to be: Dialectical tense logic.Graham Priest - 1982 - Studia Logica 41 (2-3):249 - 268.
B(S4.3, S4) unveiled.G. E. Hughes - 1975 - Theoria 41 (2):85-88.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references