Reviews matching “Temporal Logics”

4 results

BookAuthorReviewerJournalDate
Temporal Logics Valentin Goranko Nino Stanojevic International Journal on Philosphy & Religion / Disputatio Philosophica 2023-01-01
Temporal Logics in Computer Science — Finite-State Systems S. Demri Sophie Pinchinat Studia Logica 2019-10-01
Temporal Logics in Computer Science — Finite-State Systems Stéphane Demri Kamal Lodaya The Bulletin of Symbolic Logic 2017-06-00
Temporal logics and their applications Antony Galton Luis Fariñas del Cerro The Journal of Symbolic Logic 1990

Open this search with filters