Past, present, and infinite future

DOI10.4230/LIPICS.ICALP.2016.95zbMATH Open1388.03040OpenAlexW2538694668MaRDI QIDQ4598236FDOQ4598236

Authors: Thomas Wilke 

Publication date: 19 December 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#Wilke16

Recommendations

• scientific article; zbMATH DE number 3989329
• A hierarchy of temporal logics with past
• Separation -- past, present, and future
• Formal Modeling and Analysis of Timed Systems
• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic

zbMATH Keywords

separationlinear-time temporal logicbackward deterministic omega-automatacounter-freeness

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Cited In (6)

• Title not available (Why is that?)
• Universality of the future chronological boundary
• Backward Deterministic Büchi Automata on Infinite Words
• Past present
• Throwing darts, time, and the infinite
• On the translation of automata to linear temporal logic

This page was built for publication: Past, present, and infinite future

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