Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides) by Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

Computers & Technology | Programming
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Title:
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Author:
Dov M. Gabbay, Ian Hodkinson, Mark Reynolds
ISBN:
0198537697
ISBN13:
978-0198537694
Size PDF:
1730 kb
Size epub:
1506 kb
Publisher:
Clarendon Press (August 25, 1994)
Language:
English
Other formats:
pdf, odf, mobi, cb7, azw, lit, ibooks
Rating:
4.7
Votes:
438

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.

Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides) by Dov M. Gabbay, Ian Hodkinson, Mark Reynolds - free download