Giovanna Corsi, University of Bologna Sara Negri, University of Helsinki
SPEAKERS AND TITLES
14.30–15.00 Unified Correspondence as a Proof-Theoretic Tool, Alessandra Palmigiano, Delft University of Technology
15.00–15.30 30 min break (Due to cancellation of Proof theory for non-classical Euclid’s geometrical logic, Pierluigi Graziani, University of Chieti-Pescara)
15.30–16.00 Proof theory for first-order logic of social choice, Paolo Maffezioli, University of Bologna
16.00–16.30 Proof theory of non-normal modal logics, Eugenio Orlandelli, University of Bologna