Introduzione alla Logica Modale. Richiami di logica classica (1) Una Logica è un formalismo che mi permette di rappresentare i fatti del mondo e che mi.