Temporal logic

Stanford Encyclopedia of Philosophy (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,272

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.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.
Review: Temporal Logic: Mathematical Foundations and Computational Aspects D. M. Gabbay, Antony Galton: Temporal Logic: Mathematical Foundations and Computational Aspects. [REVIEW][author unknown] - 1997 - Logic Journal of the IGPL 5 (6):853-857.
Temporal Logic.Kit Fine - 1972 - Philosophical Quarterly 22 (89):370-371.
Temporal Logic.Takeo Sugihara - 1979 - Journal of Symbolic Logic 44 (4):657-657.
Temporal Logic. [REVIEW]Zygmunt Hajduk - 1975 - Roczniki Filozoficzne 23 (3):194-195.
Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.
Temporal Logic of Programs.Fred Kröger - 1987 - Springer.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.

Analytics

Added to PP
2009-01-28

Downloads
71 (#243,365)

6 months
8 (#817,301)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antony Galton
University of Exeter

Citations of this work

B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg University Press. pp. 41-52.
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.

View all 8 citations / Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
Nothing to Come: A Defence of the Growing Block Theory of Time.Fabrice Correia & Sven Rosenkranz - 2018 - Cham, Switzerland: Springer Verlag. Edited by Sven Rosenkranz.
Future contingents and relative truth.John MacFarlane - 2003 - Philosophical Quarterly 53 (212):321–336.

View all 104 references / Add more references