On Almost Future Temporal Logics

DOI10.1007/978-3-319-23534-9_16zbMath1465.03062OpenAlexW2295531391MaRDI QIDQ2947179

Alexander Rabinovich

Publication date: 22 September 2015

Published in: Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23534-9_16

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic

Cites Work

• Unnamed Item
• Future temporal logic needs infinitely many modalities
• A Finite Basis for ‘Almost Future’ Temporal Logic over the Reals
• An application of games to the completeness problem for formalized theories
• A Proof of Kamp's theorem

This page was built for publication: On Almost Future Temporal Logics