Overview:
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.
Contents:
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
Literature
- 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
Tesina / presentazione su argomento da concordare col docente
Primo incontro: Venerdi' 5 marzo 9-11 sul canale Teams