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

DOI10.1016/J.IC.2016.01.002zbMath1408.03012OpenAlexW2490552729MaRDI QIDQ259068

Dorit Pardo (Ordentlich), Alexander Rabinovich

Publication date: 10 March 2016

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2016.01.002

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Unnamed Item
• The decision problem for linear temporal logic
• Future temporal logic needs infinitely many modalities
• A Finite Basis for ‘Almost Future’ Temporal Logic over the Reals
• On Almost Future Temporal Logics
• A Proof of Kamp's theorem

This page was built for publication: No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic