Foto del docente

Eugenio Orlandelli

Professore associato

Dipartimento delle Arti

Temi di ricerca

Parole chiave: logica modale; teoria della dimostrazione; quantificazione; logica filosofica

logica modale proposizionale e quantificata; teoria della dimostrazione e calcoli di sequenti etichettati; logica filosofica