A finite basis for `almost future' temporal logic over the reals

DOI10.1007/978-3-642-32589-2_64MaRDI QIDQ2912772zbMATH OpenOpenAlexFDO

Authors Dorit Pardo (Ordentlich), Alexander Rabinovich

Publication date 25 September 2012

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

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• On almost future temporal logics
• Future temporal logic needs infinitely many modalities
• An unusual temporal logic
• Monadic Logic of Order over Naturals has no Finite Base

Cited in

(9)

• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• On the Priorean temporal logic with `around now' over the real line
• Future temporal logic needs infinitely many modalities
• On almost future temporal logics
• A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems
• An unusual temporal logic
• On the Priorean temporal logic with \([d]\) over the real line
• Monadic Logic of Order over Naturals has no Finite Base
• A proof of Stavi's theorem

This page was built for publication: A finite basis for `almost future' temporal logic over the reals

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