Publisher
Springer International Publishing
Reference14 articles.
1. Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Log. J. IGPL 8(3), 339–365 (2000)
2. Braüner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series, vol. 37. Springer, Berlin (2011)
3. Diaconescu, R.: Institution-independent Ultraproducts. Fundamenta Informaticæ 55(3–4), 321–348 (2003)
4. Diaconescu, R.: Herbrand theorems in arbitrary institutions. Inf. Process. Lett. 90, 29–37 (2004)
5. Studies in Universal Logic;R Diaconescu,2008
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献