Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas & Felix Weiß - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 261-278.
    Download  
     
    Export citation  
     
    Bookmark