Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;C. Areces,1999
2. Areces, C., Heguiabehere, J.: hGen: A random CNF formula generator for hybrid languages. In: Methods for Modalities 3 (M4M-3), Nancy, France (2003)
3. Areces, C., ten Cate, B.: Hybrid logics. In: Handbook of Modal Logics, pp. 821–868. Elsevier (2007)
4. Blackburn, P., Seligman, J.: Hybrid languages. Journal of Logic, Language and Information 4, 251–272 (1995)
5. Bolander, T., Blackburn, P.: Terminating tableau calculi for hybrid logics extending K. Electronic Notes in Theoretical Computer Science 231, 21–39 (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献