Temporal Logic

Mathematical Foundations and Computational Aspects, Volume 2

ByDov M. Gabbay,Mark A. Reynolds,+1 more

1994 • 616 pages

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, coveringautomata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Genre

Computers

Want to edit this book?Become a Librarian

Series

Featured Series

4 primary books

#40 in Oxford Logic Guides

Oxford Logic Guides is a 4-book series with 4 released primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and Mark A. Reynolds.