Temporal Logics and Their Applications

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0122740602

DOI

10.2307/2274999

Other Versions

No versions found

Links

PhilArchive



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

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

Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview. [REVIEW]Luis Farinas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
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.
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Logic and Its Applications.Edmund Burke & Eric Foxley - 1996
The Logic of Programming.Eric C. R. Hehner - 1984 - Prentice-Hall.
Logics in Ai European Workshop Jelia '90, Amsterdam, the Netherlands, September 10-14, 1990 : Proceedings'.Jan van Eijck - 2014 - Springer.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.

Analytics

Added to PP
2015-02-05

Downloads
34 (#536,636)

6 months
7 (#985,470)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antony Galton
University of Exeter

Citations of this work

Add more citations

References found in this work

No references found.

Add more references