Author:
Blackburn Patrick,Huertas Antonia,Manzano María,Jørgensen Klaus Frovin
Publisher
Springer International Publishing
Reference16 articles.
1. Areces, C., Blackburn, P., Huertas, A., Manzano, M.: Completeness in hybrid type theory. J. Philos. Log. 43, 209–238 (2014)
2. Areces, C., Blackburn, P., Marx, M.: Hybrid logics: characterization, interpolation and complexity. J. Symb. Log. 66(3), 977–1010 (2001)
3. Areces, C., ten Cate, B.: Hybrid logic. In: Handbook of Modal Logic, pp. 821–868. Elsevier, Amsterdam (2007)
4. Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)
5. Blackburn, P., Seligman, J.: Hybrid languages. J. Log. Lang. Inf. 4(3), 251–272 (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rigid First-Order Hybrid Logic;Logic, Language, Information, and Computation;2019