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

Yury Savateev, Daniyar S. Shamkanov

Browse the full WoLLIC paper archive.