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)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

My notes

Similar books and articles

Temporal logics and their applications, edited by Antony Galton, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein: - Antony Galton. Temporal logic and computer science: an overview. Pp. 1– 52. - Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90. - Roger Hale. Temporal logic programming. Pp. 91– 119. - Fariba Sadri. Three recent approaches to temporal reasoning. Pp. 121– 168. - Antony Galton. The logic of occurrence. Pp. 169– 196. - Dov Gabbay. Modal and temporal logic programming. Pp. 197– 237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
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.
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.
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 Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
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.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
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,450,151)

6 months
1 (#1,912,481)

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