Gödel-Mckinsey-Tarskiの定理を直観主義命題論理=S4だけでなく古典命題論理=S5などにも一般化できる事実を知らなかった

https://liewecmays.net/articles/modal-logic_possible-world-semantics_propositional#直観主義論理との関係