The Imperative Future: Principles of Executable Temporal Logic

(1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0863801900

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, eds. The Imperative Future: Principles of Executable Temporal Logic. [REVIEW]M. Finger - 1997 - Journal of Logic Language and Information 6:105-106.
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.
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings.Michael Fisher & Richard Owens - 1995 - Springer.
Executing Temporal Logic Programs.B. C. Moszkowski - 1986 - CUP Archive.
Agent deliberation in an executable temporal framework.Michael Fisher - 2011 - Journal of Applied Logic 9 (4):223-238.
Projection in Temporal Logic Programming.Maciej Duan, C. M. Koutny & Holt - 1993 - University of Newcastle Upon Tyne, Computing Science.
Negation by Default for Framing in Temporal Logic Programming.C. M. Duan & Holt - 1993 - University of Newcastle Upon Tyne, Computing Science.
Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
Temporal Logic of Programs.Fred Kröger - 1987 - Springer.

Analytics

Added to PP
2015-02-13

Downloads
3 (#1,855,626)

6 months
3 (#1,491,886)

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

Obligation as Optimal Goal Satisfaction.Robert Kowalski & Ken Satoh - 2018 - Journal of Philosophical Logic 47 (4):579-609.
Exploring the future with resource-bounded agents.Michael Fisher & Chiara Ghidini - 2008 - Journal of Logic, Language and Information 18 (1):3-21.

Add more citations

References found in this work

No references found.

Add more references