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 [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

DOI

10.2307/2274999

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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.Antony Galton - 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.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings.Behnam Banieqbal, Howard Barringer & Amir Pnueli - 1989 - Springer Verlag.
The Imperative Future: Principles of Executable Temporal Logic.Howard Barringer - 1996
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
We Will Show Them: Essays in Honour of Dov Gabbay.S. Artemov, H. Barringer, A. Garcez, L. Lamb & J. Woods (eds.) - 2005 - London: College Publications.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
The Temporal Logic of Reactive and Concurrent Systems: Specifications.Zohar Manna & Amir Pnueli - 1992 - Springer Verlag.
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.

Analytics

Added to PP
2014-04-07

Downloads
20 (#723,940)

6 months
3 (#902,269)

Historical graph of downloads
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