Recently Viewed

Logics of Time and Computation Robert Goldblatt 9780937073940
New

Logics of Time and Computation Robert Goldblatt 9780937073940

No reviews yet Write a Review
Booksplease Price: £27.34

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9780937073940
MPN:
9780937073940
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 5 working days
Ask Questions

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Book Information
ISBN 9780937073940
Author Robert Goldblatt
Format Paperback
Page Count 180
Imprint Centre for the Study of Language & Information
Publisher Centre for the Study of Language & Information
Weight(grams) 339g
Dimensions(mm) 228mm * 152mm * 15mm

Reviews

No reviews yet Write a Review

Related Titles

Time & Logic: A Computational Approach by Leonard Bolc

Time & Logic: A Computational Approach by Leonard Bolc

RRP: £34.99
Booksplease Price: £31.22
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of...
Add to Cart

Booksplease  Reviews