EasyChair Smart Slide
Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents