Temporal Logic: Volume 1
Published on 21. July 1994
Book
Hardback
668 pages
978-0-19-853769-4 (ISBN)
Description
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, 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 frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, 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 frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
Reviews / Votes
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 MathMore details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
Professional and scholarly
Illustrations
line figures, tables
Dimensions
Height: 242 mm
Width: 160 mm
Thickness: 38 mm
Weight
1162 gr
ISBN-13
978-0-19-853769-4 (9780198537694)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
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