Order:
  1.  11
    Complexity of Hybrid Logics Over Transitive Frames.Martin Mundhenk, Thomas Schneider, Thomas Schwentick & Volker Weber - 2010 - Journal of Applied Logic 8 (4):422-440.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  26
    Branching-Time Logics Repeatedly Referring to States.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
    While classical temporal logics lose track of a state as soon as a temporal operator is applied, several branching-time logics able to repeatedly refer to a state have been introduced in the literature. We study such logics by introducing a new formalism, hybrid branching-time logics, subsuming the other approaches and making the ability to refer to a state more explicit by assigning a name to it. We analyze the expressive power of hybrid branching-time logics and the complexity of their satisfiability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  4
    The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I.Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber & Felix Weiss - 2010 - Journal of Applied Logic 8 (4):409-421.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation