Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents. - Akinori Maniwa; Ryo Kashima (NCL, 2024)