The monadic Grzegorczyk logic. - G. Bezhanishvili; M. Khan (Ann. Pure Appl. Log., 2026)