On almost future temporal logics

DOI10.1007/978-3-319-23534-9_16MaRDI QIDQ2947179zbMATH OpenOpenAlexFDO

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

Recommendations

• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• A finite basis for `almost future' temporal logic over the reals
• 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
• An application of games to the completeness problem for formalized theories
• Future temporal logic needs infinitely many modalities
• scientific article; zbMATH DE number 747023 (Why is no real title available?)

Cited in

(13)

• Temporal multi-valued logic with lost worlds in the past
• Future temporal logic needs infinitely many modalities
• Axiomatising the Prior future in predicate logic
• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• An unusual temporal logic
• A finite basis for `almost future' temporal logic over the reals
• Extending Kamp's Theorem to Model Time Granularity
• Tomorrow’s Sea-Battle and the Beginning of Temporal Logic
• Asymptotic behaviour in temporal logic
• A proof of Stavi's theorem
• scientific article; zbMATH DE number 2097569 (Why is no real title available?)
• scientific article; zbMATH DE number 6297875 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: On almost future temporal logics

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