Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Calcoli di sequenti annidati per le logiche modali
- Calcolo dei sequenti annidati per logiche modali
- Il calcolo dei sequenti per la logica GL
- Il Calcolo delle strutture per la logica classica proposizionale
- Logica modale del prim'ordine: l'approccio possibilista ed attualista a confronto.
- Super-strict implication and non-normal logics. Labelled sequent calculus for the logic of super-strict implication S1.