Switch to: References

Citations of:

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 citations

You must login to add citations.
  1. The temporal logic of two dimensional Minkowski spacetime is decidable.Robin Hirsch & Mark Reynolds - 2018 - Journal of Symbolic Logic 83 (3):829-867.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark