Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Calcolo dei sequenti annidati per logiche modali
- 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.
