Modular Labelled Sequent Calculi for Abstract Separation Logics