Temporal Logics

by Valentin Goranko

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...

• Format: Paperback
• Language: English
• ISBN: 1009170104
• ISBN13: 9781009170109
• Release Date: October 2023
• Publisher: Cambridge University Press
• Length: 75 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"