Description

Book Synopsis
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Table of Contents
Preface; 1. Temporal reasoning and logics: introduction and a brief historical overview; 2. The variety of models of time; 3. Prior's basic systems of temporal logic; 4. Temporal logics for linear time; 5. Reasoning about non-determinism: models and logics for branching time; 6. The Peircean branching time logic PBTL; 7. The Ockhamist branching time logic OBTL; 8. First-order temporal logics; 9. Variations, extensions, and applications of temporal logics; References.

Temporal Logics

    Product form

    £17.00

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Sat 25 Jul 2026.

    A Paperback by Valentin Goranko

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Temporal Logics by Valentin Goranko

      Publisher: Cambridge University Press
      Publication Date: Publication Date: 10/5/2023 12:00:00 AM
      ISBN13: 9781009170109, 978-1009170109
      ISBN10: 1009170104
      Also in:
      Dictionaries, Reference & Language Philosophy of language

      Description

      Book Synopsis
      Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

      Table of Contents
      Preface; 1. Temporal reasoning and logics: introduction and a brief historical overview; 2. The variety of models of time; 3. Prior's basic systems of temporal logic; 4. Temporal logics for linear time; 5. Reasoning about non-determinism: models and logics for branching time; 6. The Peircean branching time logic PBTL; 7. The Ockhamist branching time logic OBTL; 8. First-order temporal logics; 9. Variations, extensions, and applications of temporal logics; References.

      Recently viewed products

      © 2026 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