• Temporal Logic book cover
1 1

Dov M Gabbay

Temporal Logic

Temporal Logic

$689.00 AUD
$689.00 AUD
Sale Sold out

Dispatch and delivery

Printed after you order and usually delivered within 2–4 weeks. Once printing has commenced, your order may not be cancelled.

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, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

View full details