Gödel変換
Gödel-McKinsey-Tarskiの定理：直観主義命題論理の論理式を様相命題論理の論理式に変換する翻訳
似たような概念としてGirard翻訳がある