Logiche modali e logiche independence friendly

Analisi di logiche modali con quantificatori parzialmente ordinati.

Bex: un ambiente user-friendly per esplorare articoli scientifici e bibliografie

Un'applicazione web user-friendly di supporto ai ricercatori per l'esecuzione efficiente di specifici tasks di ricerca e analisi di articoli scientifici