Title:
Temporal logics and their applications
Publication Information:
London : Academic Press, 1987
ISBN:
9780122740602
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000000230981 | QA76.6 T441 1987 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
FROM THE PREFACE: This book has risen from a conference on Temporal Logic and Its Applications held at the University of Leeds in January 1986, under the auspices of the then newly-created Centre for Theoretical Computer Science. Temporal logic is a field which, having originated within philosophy, has now proved to be of relevance to several distinct areas in computer science. In this publication, all of the aspects of temporal logic are treated together, hopefully providing a stimulus to further inter-disciplinary collaboration, not only as regards temporal logic itself but also in connection with other logical and philosophical issues, which lie at the interface between computing and philosophy.
Table of Contents
Temporal Logic and Computer Science: An OverviewA. Galton |
The Use of Temporal Logic in the Compositional Specification of Concurrent SystemsH. Barringer |
Temporal Logic ProgrammingR. Hale |
Three Recent Approaches to Temporal ReasoningF. Sadri |
The Logic of OccurrenceA. Galton |
Modal and Temporal Logic ProgrammingD. Gabbay |
Index |