Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)

About this book

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.