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

DOI10.1007/978-3-642-32589-2_64zbMATH Open1365.03018OpenAlexW13928075MaRDI QIDQ2912772FDOQ2912772

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

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

Mathematics Subject Classification ID

Temporal logic (03B44)

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
• On almost future temporal logics
• Future temporal logic needs infinitely many modalities
• 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)