JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Temporal Logic: Volume 2

Dov M Gabbay (author), M. Finger (author), M. Reynolds (author)

Hardback Published on: 30/03/2000

£242.50

No reviews yet, be the first

Free UK delivery on orders over £25

Please note, this item can only be delivered to a UK address. Find out more

We can order this from the publisher
Usually dispatched within 3 weeks

Make and edit your lists in your account

No stock available in any shop.

We can order this from the publisher
Usually dispatched within 3 weeks

No stock available in any shop.

Synopsis

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.