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

Other Versions

No versions found

Links

PhilArchive



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

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.
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.
Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.
Logic and computer science, edited by Piergiorgio Odifreddi, APIC studies in data processing, vol. 31, Academic Press, London, San Diego, etc., 1990, xii + 430 pp. [REVIEW]Grigori Mints - 1994 - Journal of Symbolic Logic 59 (3):1111-1114.
Nicholas Rescher and Alasdair Urquhart. Temporal logic. Library of exact philosophy, vol. 3. Springer-Verlag, Vienna and New York1971, XVIII + 273 pp. - Nicholas Rescher and Alasdair Urquhart. Bibliography of temporal logic. Therein, pp. 259–267. - Nicholas Rescher and James Garson. Topological logic. The journal of symbolic logic, vol. 33 no. 4 , pp. 537–548. A slightly revised version reprinted in Topics in philosophical logic, by Nicholas Rescher, D. Reidel Publishing Company, Dordrecht, Holland, 1968, and Humanities Press, New York, 1969, pp. 229–244. - Nicholas Rescher and John Robison. Temporally conditioned descriptions. Ratio , vol. 8 , pp. 46–54. - Nicholas Rescher and John Robison. Zeitlich bedingte Kennzeichnungen. German translation of the preceding. Ratio , vol. 8 , pp. 40–47. [REVIEW]Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.
The Temporal Logic of Reactive and Concurrent Systems: Specifications.Zohar Manna & Amir Pnueli - 1992 - Springer Verlag.
Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
Moszkowski B. C.. Executing temporal logic programs. Cambridge University Press, Cambridge etc. 1986, xiii + 125 pp. [REVIEW]Joseph Y. Halpern - 1988 - Journal of Symbolic Logic 53 (1):309-309.
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp. [REVIEW]Kamal Lodaya - 2017 - Bulletin of Symbolic Logic 23 (2):203-204.
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
2014-04-07

Downloads
20 (#885,586)

6 months
5 (#1,300,540)

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