Author:
Demri Stéphane,Fervari Raul,Mansutti Alessio
Publisher
Springer International Publishing
Reference37 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Areces,2016
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Areces,2013
3. Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601–627 (2015)
4. Aucher, G., van Benthem, J., Grossi, D.: Modal logics of sabotage revisited. JLC 28(2), 269–303 (2018)
5. Balbiani, Ph., Tinchev,T.: Unification in modal logic Alt
$$_1$$
. In: AiML 2016, pp. 117–134. College Publications (2016)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Copy and remove as dynamic operators;Journal of Applied Non-Classical Logics;2021-08-23
2. A Complete Axiomatisation for Quantifier-Free Separation Logic;Logical Methods in Computer Science;2021-08-10
3. Internal proof calculi for modal logics with separating conjunction;Journal of Logic and Computation;2021-04
4. Verification of dynamic bisimulation theorems in Coq;Journal of Logical and Algebraic Methods in Programming;2021-04
5. Modal Logics with Composition on Finite Forests;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08