On the Proof Theory of the Modal Logic Grz
scientific article