Future temporal logic needs infinitely many modalities

DOI10.1016/S0890-5401(03)00163-9zbMath1045.03019OpenAlexW1999194742MaRDI QIDQ1877549

Alexander Rabinovich, Joram Hirschfeld

Publication date: 19 August 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0890-5401(03)00163-9

zbMATH Keywords

temporal logicfuture fragment

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items

Time-Bounded Verification ⋮ On Almost Future Temporal Logics ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) ⋮ Linear-time temporal logics with Presburger constraints: an overview ★ ⋮ REASONING ABOUT TRANSFINITE SEQUENCES ⋮ No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An application of games to the completeness problem for formalized theories
• “Sometimes” and “not never” revisited
• Monadic Logic of Order over Naturals has no Finite Base
• Decidability of Second-Order Theories and Automata on Infinite Trees