Track My Order
Help Centre
+612 9045 4394
Likes
My Wish ListsLogin / Join
Booktopia has been placed into Voluntary Administration. Orders have been temporarily suspended, whilst the process for the recapitalisation of Booktopia and/or sale of its business is completed, following which services may be re-established. All enquiries from creditors, including customers with outstanding gift cards and orders and placed prior to 3 July 2024, please visit https://www.mcgrathnicol.com/creditors/booktopia-group/
Booktopia
Australia's local bookstore
Add free shipping to your order with these great books
Temporal Logics : Elements in Philosophy and Logic - Valentin Goranko

Temporal Logics

By: Valentin Goranko

eBook | 30 September 2023

At a Glance

eBook

RRP $32.95

$28.99

12%OFF

Instant Digital Delivery to your Booktopia Reader App

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. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks.

on

You Can Find This eBook In

Non-FictionPhilosophyPhilosophy & Logic

More in Philosophy & Logic

Relevance Logic : Elements in Philosophy and Logic - Shay Allen Logan

eBOOK

Relevance Logic

Elements in Philosophy and Logic

eBook

RRP $32.95

$28.99

12%
OFF
Stuff, Quality, Structure : The Whole Go - Galen Strawson

eBOOK

Stuff, Quality, Structure

The Whole Go

eBook

RRP $73.34

$66.99

Temporal Logics : Elements in Philosophy and Logic - Valentin Goranko

eBOOK

Temporal Logics

Elements in Philosophy and Logic

eBook

RRP $32.95

$28.99

12%
OFF
Godel's Proof - Ernest Nagel

eBOOK

Godel's Proof

eBook

RRP $28.59

$22.99

20%
OFF
The Idea of Hegel's "Science of Logic" - Stanley Rosen

eBOOK

The Idea of Hegel's "Science of Logic"

eBook

RRP $63.79

$51.99

18%
OFF

This product is categorised by