An unusual temporal logic

DOI10.1007/978-3-642-40313-2_65MaRDI QIDQ2849958zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich

Publication date 20 September 2013

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

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• On almost future temporal logics
• A finite basis for `almost future' temporal logic over the reals
• Future temporal logic needs infinitely many modalities
• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• A proof of Stavi's theorem

Cited in

(7)

• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• On Hamblin's 15 tense theorem.
• A finite basis for `almost future' temporal logic over the reals
• On almost future temporal logics
• Extending Kamp's Theorem to Model Time Granularity
• A really temporal logic
• A proof of Stavi's theorem

This page was built for publication: An unusual temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849958)