Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic. - Matteo Tesi; Sara Negri (J. Log. Comput., 2021)

Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics. - Matteo Tesi (Stud Logica, 2021)

Labelled sequent calculi for logics of strict implication. - Eugenio Orlandelli; Matteo Tesi (AiML, 2022)

Taming Bounded Depth with Nested Sequents. - Lutz Straßburger; Matteo Tesi; Agata Ciabattoni (AiML, 2022)

On the Proof Theory of Infinitary Modal Logic. - Matteo Tesi (Stud Logica, 2022)

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. - Matteo Tesi; Sara Negri (Ann. Pure Appl. Log., 2023)

Fractional-Valued Modal Logic. - Mario Piazza; Gabriele Pulcini; Matteo Tesi (Rev. Symb. Log., 2023)

Sequents vs Hypersequents for Åqvist Systems. - Agata Ciabattoni; Matteo Tesi (IJCAR (2), 2024)

A Proof Calculus for Ethical Reasoning. - Han Gao; Emiliano Lorini; Nicola Olivetti; Matteo Tesi (PRIMA, 2024)

Linear logic in a refutational setting. - Mario Piazza; Gabriele Pulcini; Matteo Tesi (J. Log. Comput., 2024)

Non-contractive Logics, Paradoxes, and multiplicative Quantifiers. - Carlo Nicolai; Mario Piazza; Matteo Tesi (Rev. Symb. Log., 2024)

Infinitary logic with infinite sequents: syntactic investigations. - Matteo Tesi (Math. Log. Q., 2024)

Subintuitionistic logics and their modal companions: a nested approach. - Matteo Tesi (J. Appl. Non Class. Logics, 2024)

Constructive theories through a modal lens. - Matteo Tesi (Log. J. IGPL, 2025)

Analyticity with extra-logical information. - Mario Piazza; Matteo Tesi (J. Log. Comput., 2025)