La ricerca è condotta nell'ambito della teoria della dimostrazione e della teoria dei modelli di logiche non classiche.
Gli argomenti studiati sono i seguenti:
Aspetti proof-teoretici e semantici delle logiche non classiche, orientati all'applicazioni nell'ambito del ragionamento automatico
Applicazione delle logiche non classiche alla rappresentazione della conoscenza
Studio di logiche non classiche attraverso le strutture algebriche ad esse associate
Logiche non classiche basate sulla Team Semantics
Logiche non-monotone e programmazione logica
Periodo di attività:
(gennaio 1, 2020 - )