Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.

Yury Savateev, Daniyar S. Shamkanov

Browse the full WoLLIC paper archive.