Temporal Logic: Volume 2

Dov M Gabbay author M Reynolds author M Finger author

Format:Hardback

Publisher:Oxford University Press

Currently unavailable, and unfortunately no date known when it will be back

Temporal Logic: Volume 2 cover

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.

ISBN: 9780198537687

Dimensions: 242mm x 162mm x 37mm

Weight: 1011g

612 pages