Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio On composing finite forests with modal logics. (English) Zbl 07672671 ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. Bednarczyk} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023; Zbl 07672671) Full Text: DOI
Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio A complete axiomatisation for quantifier-free separation logic. (English) Zbl 07407789 Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Demri} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021; Zbl 07407789) Full Text: arXiv Link
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio Internal proof calculi for modal logics with separating conjunction. (English) Zbl 07398775 J. Log. Comput. 31, No. 3, 832-891 (2021). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{S. Demri} et al., J. Log. Comput. 31, No. 3, 832--891 (2021; Zbl 07398775) Full Text: DOI HAL
Demri, Stéphane; Lozes, Etienne; Mansutti, Alessio Internal calculi for separation logics. (English) Zbl 07650832 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{S. Demri} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020; Zbl 07650832) Full Text: DOI arXiv
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio Modal logics with composition on finite forests: expressivity and complexity. (English) Zbl 1498.03049 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 167-180 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Bednarczyk} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 167--180 (2020; Zbl 1498.03049) Full Text: DOI
Mansutti, Alessio Extending propositional separation logic for robustness properties. (English) Zbl 1528.03151 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018). MSC: 03B70 68Q17 PDFBibTeX XMLCite \textit{A. Mansutti}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018; Zbl 1528.03151) Full Text: DOI