Gödel's modal interpretation of intuitionistic logic and its proof theory
{{output}}
Gödel, working within axiomatic logic, succeeded in 1933 in establishing a translation from theorems of intuitionistic propositional logic to ones of classical logic enriched with a modal provability operator. The converse correspondence was established by se... ...
