Goranko, Valentin
Temporal Logics (Elements in Philosophy and Logic)
- ISBN 13:
- 9781009170109
- author:
- Goranko, Valentin
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2023
- Pages:
- 75
- Dimensions:
- 22.9 x 15.2 x 0.6 centimetres (0
- Genre:
- Nonfiction, Philosophy, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 7 working days
Description
Temporal Logics by Valentin Goranko provides an in-depth exploration of logical systems designed to formalise reasoning about time and events. This Element offers a comprehensive overview of the diverse range of temporal logics, from their underlying ontological assumptions to their applications in artificial intelligence and computer science. The book delves into the key landmarks of temporal logic, examining the various operators used to compose temporalised expressions and the formal logical semantics adopted to capture their intended meaning. By providing both a broad survey of the field and closer looks at its most significant developments, this Element aims to provide a valuable resource for those seeking to understand the principles and applications of temporal logics. With 75 pages of detailed analysis, Temporal Logics is an ideal choice for scholars and researchers in philosophy, logic, and computer science.
Related Products
Related Products
Classical First-Order Logic (Elements in Philosophy and Logic)
Shapiro, Stewart
Proofs and Models in Philosophical Logic (Elements in Philosophy and Logic)
Restall, Greg
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Bell, John L.
Set Theory (Elements in Philosophy and Logic)
Burgess, John P.
Propositional Quantifiers (Elements in Philosophy and Logic)
Peter