Author:
Dannert Katrin M.,Grädel Erich
Publisher
Springer International Publishing
Reference17 articles.
1. Andréka, H., van Benthem, J., & Németi, I. (1998). Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27, 217–274.
2. Bárány, V., Gottlob, G., & Otto, M. (2010). Querying the guarded fragment. In Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS ’10 (pp. 1–10).
3. Bárány, V., ten Cate, B., & Segoufin, L. (2015). Guarded negation. Journal of the ACM, 62(3), 22:1–22:26.
4. Benedikt, M., Bourhis, P., & Vanden Boom, M. (2017). Characterizing definability in decidable fixpoint logics. In 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017 (pp. 107:1–107:14).
5. Benedikt, M., ten Cate, B., & Vanden Boom, M. (2016). Effective interpolation and preservation in guarded logics. ACM Transactions on Computational Logic, 17(2), 8.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献