Events
Talks and conferences
Sequents vs. Hypersequents for deontic logics, talk at the workshop PACMAN, Verona, 20-22/03/2024.
Constructive theories through a modal lens, invited talk at the Workshop The Art of Proofs, Bologna, 15-16/02/2024.
Subintuitionistic logics and their modal companions: a nested approach, invited talk at the logic seminar at the University of Verona, 18/01/2024.
Infinito e teoria strutturale della dimostrazione, invited talk at the logic seminar at the University of Florence, Florence, 24/11/2023.
A proof-theoretic approach to monadic logic, at the conference Logic Colloquium, Milan, 5- 9/06/2023.
Multiplicative quantifiers, exponentials and cut elimination, invited talk at the workshop Proof Theory Afternoon, Genova, 7/06/2023.
On the modal embedding for the provability logic GL, at the workshop Modal Logic, Pisa, 8/05/2023.
Ways to infinity in structural proof theory, at the Logic Seminar, Scuola Normale Superiore di Pisa, Pisa, 12/04/2023.
Multiplicative quantifiers, Paradoxes and Cut elimination, invited talk at the University of Verona, 21/03/2023.
An ecumenical view of infinitary logic, invited talk at the workshop Ecumenical Meetings, UCL, London, 3-4/03/2023
Gödel-McKinsey-Tarski Embedding and the Epistemic Reading of Infinitary Intuitionistic Logic , at the workshop “CELT22: Connections between Epistemology and Topology”, ILLC Amsterdam, 24- 25/09/2022.
Multiplicative quantifiers, paradoxes, and cut elimination, at the workshop “Logica e Filosofia della Matematica”, Scuola Normale Superiore di Pisa, 16-17/09/2022.
On the embedding of intuitionistic logic in the logic of provability GL, at the workshop “Applied Proof Theory”, Pescara, 29/08/2022 – 02/03/2022.
Proof theory for strict implication systems, at “Advances in modal logic 2022’’, Rennes 25/08/2022.
Taming bounded depth with nested sequents at “Advances in modal logic 2022”, Rennes 22- 25/08/2022.
Proof theory for strict implication systems, at the Università degli Studi di Bologna, 16/06/2022.
Infinitary logic and the Gödel-McKinsey-Tarski embedding (part 2) invited talk at Oslo University, 11/5/2022.
Infinitary logic and the Gödel-McKinsey-Tarski embedding (part 1) invited talk at Oslo University, 4/5/2022.
Fractional valued logics: towards a new semantic of proofs , Logic Seminars, Scuola Normale Superiore, Pisa, 12/04/2022.
Fractional semantics: breaking the symmetry between truth and contradiction at the workshop “Bilateralism and Proof-theoretic Semantics”, Bochum, 17-18/03/2022.
Terminating sequent calculi for a class of intermediate logics at the workshop “Proof theory and its applications’’ in Madeira, 29/11/2021 – 04/12/2022.
Terminating sequent calculi for a class of intermediate logics invited talk at Schloss Dagstuhl “Geometric logic, Constructivization and Automatic theorem proving” 21-26/11/2021.
A new decision procedure for intuitionistic propositional logic, Università degli Studi di Firenze, 15/10/2021.
Labelled sequent calculi for C. I. Lewis logics, Università degli Studi di Bologna, 28/09/2021.
Termination in intuitionistic logic, Logic and applications 2021 (LAP 2021), Dubrovnik, 20 – 24/09/2021.
Neighborhood semantics and sequents for intuitionistic infinitary logic, Università degli Studi di Genova, 2/11/2020.
Neighborhood semantics and proof theory for intuitionistic infinitary logic, Logic and applications 2020 (LAP 2020), Dubrovnik, 21 – 25/09/2020.