Foto del docente

Eugenio Orlandelli

Associate Professor

Department of the Arts

Academic discipline: M-FIL/02 Logic and Philosophy of Science

Teaching

Recent dissertations supervised by the teacher.

First cycle degree programmes dissertations

  • 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.