Logica - Logica e mondi possibili (PhD)
Prerequisiti
Conoscenza di base delle logiche modali e di teoria della dimostrazione.
Programma
Modulo 3:
Teoria della dimostrazione per logiche modali: calcoli dei sequenti. Generalizzazioni dei calcoli dei sequenti: proprietà strutturali e applicazioni. Calcoli analitici per la logica intuizionistica. Cenni alla teoria della dimostrazione per altre logiche non classiche.
Obiettivi formativi
Introdurre il discente a temi avanzati di teoria della dimostrazione per logiche non classiche.
Riferimenti bibliografici
F. Poggiolesi, Gentzen Calculi for Modal Propositional Logic, Springer, 2011.
Ulteriori testi e articoli saranno indicati a lezione.
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 |