E' opportuna (ma non obbligatoria) una preparazione di base in logica (aver frequentato almeno un corso introduttivo).

Lezioni frontali e esercitazioni in classe.

Logica Modale

Sistema basico K, semantica relazionale, sitemi T, S4, S5. Caratterizzazione di frame con formule modali. Tempo permettendo, comletezza dei sistemi modali con modelli canonici.

Hughes, G. E., and Cresswell, M. J. (1996) A New Introduction to Modal Logic. Routledge.

Blackburn, Patrick; de Rijke, Maarten; and Venema, Yde (2001) Modal Logic. Cambridge University Press

Contattare il docente per email.

Prova scritta. La prova è superata se lo studente mostra adeguate capacità di soluzione di esercizi simili a quelli proposti, discussi, e risolti durenat il corso.

Nessuno.

Commissione: Venturi (presidente), Moriconi, Bellotti.

Commissione supplente: Barrotta (presidente), Gronda, Turbanti.