Author:
Calvanese Diego,Kotek Tomer,Šimkus Mantas,Veith Helmut,Zuleger Florian
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;S. Apel,2013
2. Lecture Notes in Computer Science;A. Artale,2007
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic handbook: theory, implementation, and applications. Cambridge University Press (2003)
4. Lecture Notes in Computer Science;F. Baader,2013
5. Banerjee, A., Naumann, D.A., Rosenberg, S.: Local reasoning for global invariants, part I: Region logic. J. ACM 60(3), 18 (2013)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Internal proof calculi for modal logics with separating conjunction;Journal of Logic and Computation;2021-04
2. Pebble-Intervals Automata and FO$$^2$$ with Two Orders;Language and Automata Theory and Applications;2020
3. The power of modal separation logics;Journal of Logic and Computation;2019-12
4. Axiomatising Logics with Separating Conjunction and Modalities;Logics in Artificial Intelligence;2019
5. Extending ALCQIO with Trees;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07