Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview [Book Review]

Journal of Symbolic Logic 55 (1):364-366 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,042

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.
What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.
A short biography of Luis Fariñas del Cerro.Pedro Cabalar, Martín Diéguez, Andreas Herzig & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (3):153-160.
Computer science temporal logics need their clocks.Ildikó Sain - 1989 - Bulletin of the Section of Logic 18 (4):153-160.
Editorial Board.[author unknown] - 2012 - Journal of Applied Non-Classical Logics 22 (4):ebi-ebi.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,910,707)

6 months
1 (#1,942,203)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references