Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Calcolo dei Sequenti per Logiche Epistemiche con quantificazione sugli agenti
- Implicazione e connessività. Un calcolo di sequenti per PrC e una indagine su Aristotele connessivo
- Specie come Individui. Una discussione filosofica nelle scienze biologiche
- UN CALCOLO DEI SEQUENTI ETICHETTATO PER LA LOGICA PrC: Negazione come cancellazione e logica connessiva
Second cycle degree programmes dissertations
- Assioma di scelta, forcing e misura di Lebesgue
- Casualità algoritmica e dimensione effettiva.
