Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides, 28)

Gabbay, Dov M., Hodkinson, Ian, Reynolds, Mark

ISBN 10: 0198537697 / ISBN 13: 9780198537694

Published by Clarendon Press, 1994

About this Item

Like New.

Seller Inventory # ERICA79001985376976

Bibliographic Details

• Title: Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides, 28)
• Publisher: Clarendon Press
• Publication Date: 1994
• Language: English
• ISBN 10: 0198537697
• ISBN 13: 9780198537694
• Binding: Hardcover
• Condition: Like New
• Book Type: book

About this title

Synopsis

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover 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. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.

About the Author

Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.