L'interpretazione della logica intuizionista nella logica modale

In questa tesi si descrive l’interpretazione della logica intuizionista proposizionale nella logica modale proposizionale S4 ad opera di Gödel, McKinsey e Tarski. Il vantaggio di tale interpretazione è quello di conservare le proprietà di disgiunzione e di esistenza che caratterizzano la logica intuizionista rispetto a quella classica. Tali proprietà non sono infatti conservate dall’interpretazione "identica" che segue dalla definizione della logica intuizionista predicativa come frammento della logica classica predicativa. Inoltre, dopo aver introdotto sia la semantica di Kripke sia la semantica algebrica per la logica modale S4, si utilizza quest’ultima semantica per mostrare che l’interpretazione della logica intuizionista in S4 composta con la traduzione della doppia negazione di Gödel-Gentzen non coincide con l’immersione della logica classica in S4.