Logic and possible worlds (PhD)
Prerequisiti
Base knowledge of modal logic and proof theory.
Programma
Module 3:
Proof theory for modal logics: sequent calculi. Generalizations of sequent calculi: structural properties and applications. Analytic calculi for intuitionistic logic. Overview of proof theory for other non-classical logics.
Obiettivi formativi
The aim is to introduce students to advanced themes in proof theory for non-classical logics.
Riferimenti bibliografici
F. Poggiolesi, Gentzen Calculi for Modal Propositional Logic, Springer, 2011.
Further references will be given during lectures.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 2: Modalità e intuizionismo (per ordinari e PhD) | 20 | 3 | Matteo Tesi |
| Modulo 3: Analiticità e logiche non classiche (per PhD) | 20 | 3 | Matteo Tesi |