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

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