Temporal Logic
Mathematical Foundations and Computational Aspects, Volume 2
Mathematical Foundations and Computational Aspects, Volume 2
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.
Featured Series
5 primary booksOxford Logic Guides is a 4-book series with 4 primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and 5 others.
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
