Modalità d'esame
<p>Relazione di seminario.</p>
Prerequisiti
Conoscenza di base delle logiche modali e di teoria della dimostrazione.
Programma insegnamento
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.
Riferimenti bibliografici
F. Poggiolesi, Gentzen Calculi for Modal Propositional Logic, Springer, 2011.
Ulteriori testi e articoli saranno indicati a lezione.