Items related to Temporal Logic: Volume 1: 28 (Oxford Logic Guides)
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.
"synopsis" may belong to another edition of this title.
Review:
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
'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
"About this title" may belong to another edition of this title.
- PublisherClarendon Press
- Publication date1994
- ISBN 10 0198537697
- ISBN 13 9780198537694
- BindingHardcover
- Number of pages668
Buy New
Learn more about this copy
£ 117.30
Shipping:
£ 4.74
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
TEMPORAL LOGIC: VOLUME 1 (OXFORD
Published by
Clarendon Press
(1994)
ISBN 10: 0198537697
ISBN 13: 9780198537694
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 2.6. Seller Inventory # Q-0198537697
Buy New
£ 117.30
Convert currency
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Published by
Oxford University Press, USA
(1994)
ISBN 10: 0198537697
ISBN 13: 9780198537694
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Brand New. 672 pages. 9.75x6.75x1.75 inches. In Stock. Seller Inventory # 0198537697
Buy New
£ 180.53
Convert currency
Seller Image
Temporal Logic: Volume 1
Published by
Oxford University Press
(1994)
ISBN 10: 0198537697
ISBN 13: 9780198537694
New
Einband - fest (Hardcover)
Quantity: > 20
Seller:
Rating
Book Description Einband - fest (Hardcover). Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. BL Indispensable reference for both the pure logician and the theoretical computer scientistThis 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. Seller Inventory # 594409984
Buy New
£ 390.59
Convert currency