ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| LOGICA (S) | M-FIL/02 | LEZIONI | 36 |
|
Conoscenze sui principi sistemi modali e semantica relazionale
Esame scritto e valutazione in itinere
Dimostrare in logica modale e orientarsi nella letterature
Esame scritto
Nessuno.
Nessuna.
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.
