Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Past, present, and infinite future

From MaRDI portal
Publication:4598236
Jump to:navigation, search

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


Authors: Thomas Wilke Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4598236&oldid=18757431"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 13:31. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki