模态逻辑两个定理的基于向前向后方法的证明

• THE PROOFS BASED ON BACK AND FORTH METHOD FOR TWO THEOREMS IN MODAL LOGIC