Temporal Logics

DOI10.1017/9781009170093OpenAlexW4386515696MaRDI QIDQ6165037

Valentin F. Goranko

Publication date: 31 July 2023

Full work available at URL: https://doi.org/10.1017/9781009170093

zbMATH Keywords

(none given)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44)

This page was built for publication: Temporal Logics