Axiomatising Logics with Separating Conjunction and Modalities | Publicación