Fix typos in normal modal and intuitionistic logic - #434

maxchang3 wants to merge 1 commit into

Fix typos in normal modal and intuitionistic logic#434
maxchang3 wants to merge 1 commit into
OpenLogicProject:masterfrom
maxchang3:fix/typo

Fix typos in soundness and completeness proofs