Table of Contents

1: The handling of time: introduction and survey
2: Semantical presentation of temporal connectives
3: Axiomatic presentation of propositional temporal connectives
4: Predicate temporal logics
5: Temporal logics presented in the predicate calculus: language-metalanguage
6: A general theory of axiomatization for propositional temporal logic
7: Basic many-dimensional systems
8: Propositional quantifiers and fixed point operators
9: Expressive power of one-dimensional temporal connectives: basic concepts
10: Expressive completeness of Since and Until over integer and real time
11: Expressive completeness of Stavi connectives over general linear time
12: Further expressive completeness results
13: H-dimension
14: Adding a temporal dimension to a logic system
15: Decidability in temporal logic
Bibliography
Notation Index
Index of Systems
Index

Reviews

`The book presents some fundamental theorems which help to prove or disprove the expressiveness completeness of a temporal logic. Although the book is focused mainly on the authors' research, the breadth of their research allows them to cover a lot of interesting material ... a very comprehensive study of temporal logics, their expressiveness and axiomatization ... it is very thorough and presents the subjects of its focus in great depth. It can point
practitioners of this field to existing results and thus is recommended as a good research reference.'
D. Peled, The Computer Journal,
'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic, providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field, and adequate indexes, add to the high quality and usefulness of the book' Zentralblatt Math