Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs
scientific article; zbMATH DE number 7176948