Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Calcolo dei sequenti annidati per logiche modali
- Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut
- 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.
- Un calcolo dei sequenti per le logiche rilevanti
- Un calcolo di sequenti etichettato per il futuro lineare discreto
- Un calcolo di sequenti etichettato per la logica inquisitiva
