Free Quantified Epistemic Logics. - Giovanna Corsi; Eugenio Orlandelli (Stud Logica, 2013)

Proof Analysis in Deontic Logics. - Eugenio Orlandelli (DEON, 2014)

Sequent Calculi for Indexed Epistemic Logics. - Giovanna Corsi; Eugenio Orlandelli (ARQNL@IJCAR, 2016)

Decidable Term-Modal Logics. - Eugenio Orlandelli; Giovanna Corsi (EUMAS/AT, 2017)

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. - Eugenio Orlandelli; Giovanna Corsi (ARQNL@IJCAR, 2018)

Proof theory for quantified monotone modal logics. - Sara Negri; Eugenio Orlandelli (Log. J. IGPL, 2019)

Logicality, Double-Line Rules, and Modalities. - Norbert Gratzl; Eugenio Orlandelli (Stud Logica, 2019)

Interpolation in Extensions of First-Order Logic. - Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli (Stud Logica, 2020)

Constructive Cut Elimination in Geometric Logic. - Giulio Fellin; Sara Negri; Eugenio Orlandelli (TYPES, 2021)

Labelled calculi for quantified modal logics with definite descriptions. - Eugenio Orlandelli (J. Log. Comput., 2021)

Proof-theoretic pluralism. - Filippo Ferrari; Eugenio Orlandelli (Synth., 2021)

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

Non-Normal Super-Strict Implications. - Guido Gherardi; Eugenio Orlandelli (NCL, 2022)

Nested Sequents for Quantified Modal Logics. - Tim S. Lyon; Eugenio Orlandelli (TABLEAUX, 2023)

Glivenko sequent classes and constructive cut elimination in geometric logics. - Giulio Fellin; Sara Negri; Eugenio Orlandelli (Arch. Math. Log., 2023)

Proof Systems for Super- Strict Implication. - Guido Gherardi; Eugenio Orlandelli; Eric Raidl (Stud Logica, 2024)

Quantified Modal Logics: One Approach to Rule (Almost) them All! - Eugenio Orlandelli (J. Philos. Log., 2024)