"On Some Proof Theoretical Properties of the Modal Logic GL"