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.

Logics of Time and Computation

Product form

£25.16

Includes FREE delivery
Usually despatched within days
Paperback / softback by Robert Goldblatt

1 in stock

Short Description:

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer),... Read more

    Publisher: Centre for the Study of Language & Information
    Publication Date: 01/09/1992
    ISBN13: 9780937073940, 978-0937073940
    ISBN10: 0937073946

    Number of Pages: 180

    Non Fiction , Mathematics & Science , Education

    • Tell a unique detail about this product5

    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.

    Customer Reviews

    Be the first to write a review
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)

    Recently viewed products

    © 2024 Book Curl,

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account