Systematic Design of Separation Logics. - Roberto Bruni 001; Lorenzo Gazzella; Roberta Gori (CoRR, 2026)