Speaker: Raul Fervari (Universidad Nacional de Córdoba)
Date and Time: Thursday, September 26th 2019, 16:30-18:00
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: Separation logics: a modal perspective.
Abstract. Modal separation logics (MSL) are formalisms that have been recently proposed combining modal operators with separating connectives, both interpreted over one-dimensional Kripke models. In this way, MSL can be seen either as separation logics enriched with local operations to reason about memory states of a piece of software, or either as modal logics with global relation-changing operators (á la sabotage logic).
In this talk we will present MSL and some of its most interesting fragments, and discuss some results about complexity, axiom systems and expressivity. We will conclude by discussing some ongoing and future lines of research.
Some references:
[1] S. Demri and R. Fervari. On the Complexity of Modal Separation Logics. In Proceedings of Advances in Modal Logics AiML’18, pages 179-198. College Publications, 2018.
[2] 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).