Recent work

• • • • • • D. Figueira, S. Figueira, and E. Pin Baque. PDL on Steroids: on expressive extensions of PDL with intersection and converse. 

In: 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), pages 1-13, 2023.

• • • • • • S. Demri and R. Fervari. Model-Checking for Ability-Based Logics with Constrained Plans.

Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23), pages 6305-6312, 2023.

• • • • • • B. Bednarczyk, S. Demri, R. Fervari and A. Mansutti. On Composing Finite Forests with Modal Logics.

ACM Transactions on Computational Logic (ToCL), Volume 24, Issue 2, Article No. 12, pp 1–46, 2023.

• • • • • • S. Demri, R. Fervari and A. Mansutti. Internal Proof Calculi for Modal Logics with Separating Conjunction.

Journal of Logic and Computation (JLC), volume 31, issue 3, pages 832–891, 2021.

• • • • • • B. Bednarczyk, S. Demri, R. Fervari and A. Mansutti. Modal Logics with Composition on Finite Forests: Expressivity and Complexity.

In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS’20), 2020. IEEE Press, pages 167–180, 2020.

• D. Figueira, S. Figueira, and E. Pin Baque. Finite Controllability for Ontology-Mediated Query Answering of CRPQ. 

In: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Main Track, pages 381-391, 2020.

• • • • • • S. Demri and R. Fervari. The Power of Modal Separation Logics. 

Journal of Logic and Computation (JLC), volume 29, issue 8, pages 1139–1184, 2019.

• M. E. Descotte, D. Figueira, and S. Figueira. Closure properties of synchronized relations. 

In: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019). LIPICS 126(22), 2019.

• • • • • • S. Demri, R. Fervari and A. Mansutti. Axiomatising Logics with Separating Conjunction and Modalities. 

In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of LNCS, pages 692-708, Springer 2019.