Temporal logics
Auteur :
Goranko, Valentin
Éditeur :
Cambridge University Press
ISBN :
9781009170109
Date de publication :
5 oct. 2023
Dimensions :
22,9 x 15,2 x 0,6 cm
Poids :
175 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.