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

DOI10.1016/J.IC.2016.01.002MaRDI QIDQ259068zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A finite basis for `almost future' temporal logic over the reals
• On almost future temporal logics
• Future temporal logic needs infinitely many modalities
• An unusual temporal logic
• A proof of Stavi's theorem

Cites work

• A finite basis for `almost future' temporal logic over the reals
• A Proof of Kamp's theorem
• Future temporal logic needs infinitely many modalities
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• On almost future temporal logics
• The decision problem for linear temporal logic

Cited in

(7)

• Future temporal logic needs infinitely many modalities
• An unusual temporal logic
• A finite basis for `almost future' temporal logic over the reals
• On almost future temporal logics
• Past, present, and infinite future
• A proof of Stavi's theorem
• When do you start counting? Revisiting counting and Pnueli modalities in timed logics

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

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