Temporal Logics - (Goranko Valentin)

Cambridge University Press 2023 Cambridge University Press 112 Goranko, Valentin (Stockholms Universitet) Paperback / softback

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.