MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS. - PERINI BROGI, COSIMO; NEGRI, SARA; OLIVETTI, NICOLA (Review of Symbolic Logic, 2025)