A proof of Stavi's theorem

DOI10.23638/LMCS-14(1:20)2018zbMATH Open1459.03020arXiv1711.03876MaRDI QIDQ4637684FDOQ4637684

Authors: Alexander Rabinovich 

Publication date: 25 April 2018

Full work available at URL: https://arxiv.org/abs/1711.03876

Recommendations

• On almost future temporal logics
• Future temporal logic needs infinitely many modalities
• An unusual temporal logic
• A finite basis for `almost future' temporal logic over the reals
• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Title not available (Why is that?)
• A Proof of Kamp's theorem
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
• A function-theoretic proof of a theorem of Stampfli
• On almost future temporal logics
• An unusual temporal logic
• Extending Kamp's Theorem to Model Time Granularity
• Title not available (Why is that?)

This page was built for publication: A proof of Stavi's theorem

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