Modal Logic for Induction. - Giulio Fellin; Sara Negri; Peter M. Schuster (AiML, 2020)

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

A General Glivenko-Gödel Theorem for Nuclei. - Giulio Fellin; Peter M. Schuster (MFPS, 2021)

The Jacobson radical of a Propositional Theory. - Giulio Fellin; Peter Schuster 001; Daniel Misselbeck-Wessel (Bull. Symb. Log., 2022)

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

A Vector-Based Extension of Value-Based Argumentation for Public Interest Communication. - Pietro Baroni; Giulio Fellin; Massimiliano Giacomin; Carlo Proietti (AI³@AI*IA, 2024)

A Terminating intuitionistic Calculus. - Giulio Fellin; Sara Negri (J. Symb. Log., 2025)

Conservation as Translation. - Giulio Fellin; Peter Schuster 001 (Rev. Symb. Log., 2025)