A Finite Basis for ‘Almost Future’ Temporal Logic over the Reals

DOI10.1007/978-3-642-32589-2_64zbMath1365.03018OpenAlexW13928075MaRDI QIDQ2912772

Dorit Pardo (Ordentlich), Alexander Rabinovich

Publication date: 25 September 2012

Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32589-2_64

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (2)

On Almost Future Temporal Logics ⋮ No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic

This page was built for publication: A Finite Basis for ‘Almost Future’ Temporal Logic over the Reals