NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC