Switch to: Citations

References in:

Synthesis for Temporal Logic over the Reals

, &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 217-238 (1998)

Add references

You must login to add references.
  1. Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.
    Direct download  
     
    Export citation  
     
    Bookmark   71 citations  
  • The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
    It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense time temporal logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The decision problem for linear temporal logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Tense Logic and the Theory of Linear Order.Hans Kamp - 1968 - Dissertation, Ucla
     
    Export citation  
     
    Bookmark   33 citations