Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz