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

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

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.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Temporal Logic of Programs.Fred Kröger - 1987 - Springer.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
Executing Temporal Logic Programs.B. C. Moszkowski - 1986 - CUP Archive.
The Temporal Logic of Reactive and Concurrent Systems: Specifications.Zohar Manna & Amir Pnueli - 1992 - Springer Verlag.
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
The Logical Basis for Computer Programming: Deductive reasoning.Zohar Marra, Zohar Manna & Richard Waldinger - 1985 - Addison-Wesley Professional.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
A study of logics.John P. Cleave - 1991 - New York: Oxford University Press.
Meta-logics and Logic Programming.Krzysztof R. Apt & Franco Turini - 1995 - MIT Press (MA).
Solving Higher-Order Equations: From Logic to Programming.Christian Prehofer - 1998 - Springer Verlag.
Optimization and Computational Logic.Kenneth McAloon & Carol Tretkoff - 1996 - Wiley-Interscience.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
A Method of Programming.Edsger Wybe Dijkstra & W. H. J. Feijen - 1988 - Addison-Wesley Longman.

Analytics

Added to PP
2015-02-05

Downloads
29 (#536,973)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antony Galton
University of Exeter

Citations of this work

Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references