Book Details
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.
Read more - Author Valentin (Stockholms Universitet) Goranko
- ISBN13 9781009170109
- ISBN10 1009170104
- Pages 112
- Published 2023
- Fecha de publicación 05/10/2023
- Language German, French
Reviews and ratings
Temporal Logics (German, French)
- By
- Valentin (Stockholms Universitet) Goranko
- |
- Cambridge University Press (2023)
- 9781009170109



