The course will offer an overview of central results and hands-on methods for the for the proof theory of modal and constructive logic. An introductory logic course is a prerequisite.


Prerequisites on sequent calculus
Modal logic: axiomatisation and semantics
Limitations of traditional calculi
The deduction theorem
From semantics to deductive calculi
Structural properties
Intuitionistic logic
Provability logic
Geometric extensions and intermediate logics
Non-normal modal logics
Neighbourhood semantics

- S. Negri & J. von Plato: Proof Analysis, Cambridge University Press, 2011
- Published articles made available by the instructor

Modalita' d'esame a scelta tra:
-Esame tradizionale
Tesina / presentazione su argomento da concordare col docente

Primo incontro: Venerdi' 5 marzo 9-11 sul canale Teams