Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### TEMPORAL LOGIC: MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS

Dov M. **GABBAY**, 1945-.

Ian **HODKINSON**

Mark **REYNOLDS**

Department of Computing, Imperial College of Science, Technology and Medicine, London
Series: **Oxford logic guides**, Vol. 28 - Oxford Science Publications

**Publisher : **
Oxford University Press - Clarendon Press , Oxford

**Bibliographic : **

- Hardcover
- ISBN: 0-19-853769-7
- © 1994
- v. <1> : ill. ; 24 cm ; 668pp, line figures, tables, 234×156
- Dewey No.: 511.3 20

- Electronic digital computers -- Programming. * Logic, Symbolic and mathematical.
- Natural Sciences and Mathematics * Mathematics * Applied Mathematics * Applied Numerical Analysis and Computer Mathematics (519.4)

**DESCRIPTION : **
This long awaited book gives a thorough account of the mathematical foundations of temporal
logic, one of the most important logic areas in computer science. It gives a solid introduction to
semantical and axiomatic approaches to temporal logic, and covers the central topics of predicate
temporal logic, metalanguages, general theories of axiomatization, many dimensional systems,
propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and
decidability results. Much of the research presented here is at the cutting edge, both in new
results and in the unifying methodology.

**CONTENTS : **

- The handling of time: introduction and survey
- Semantical presentation of temporal connectives
- Axiomatic presentation of propositional temporal connectives
- Predicate temporal logics
- Temporal logics presented in the predicate calculus: language-metalanguage
- A general theory of axiomatization for propositional temporal logic
- Basic many-dimensional systems
- Propositional quantifiers and fixed point operators
- Expressive power of one-dimensional temporal connectives: basic concepts
- Expressive completeness of Since and Until over integer and real time
- Expressive completeness of Stavi connectives over general linear time
- Further expressive completeness results
- H-dimension
- Adding a temporal dimension to a logic system
- Decidability in temporal logic

Bibliography * Notation Index * Index of Systems * Index

Changed 21/01/1997. Comments: monika@cs.ioc.ee