Matteo’s research focuses on non-classical (modal, intermediate, and substructural) logics, structural proof theory and their philosophical applications. He has worked with sequent calculi and their generalizations (hypersequents, nested sequents, and labelled sequents) to offer analytic presentations of families of non-classical logics.