Switch to: Citations

Add references

You must login to add references.
  1. An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
    We give a Hilbert style axiomatization for the set of formulas in the temporal language with Until and Since which are valid over the real number flow of time. The axiomatization, which is orthodox in the sense of only having the usual temporal rules of inference, is complete with respect to single formulas.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Relationships between Nondeterministic and Deterministic Tape Complexities.Walter J. Savitch - 1974 - Journal of Symbolic Logic 39 (2):346-347.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The decision problem for linear temporal logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.
    We show that the satisfiability problem for the monodic guarded, loosely guarded, and packed fragments of first-order temporal logic with equality is 2Exptime-complete for structures with arbitrary first-order domains, over linear time, dense linear time, rational number time, and some other classes of linear flows of time. We then show that for structures with finite first-order domains, these fragments are also 2Exptime-complete over real number time and hence over most of the commonly used linear flows of time, including the natural (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations