Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- 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.