Stéphane Demri Rajeev Goré Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. 861-884 2002 12 J. Log. Comput. 5 https://doi.org/10.1093/logcom/12.5.861 db/journals/logcom/logcom12.html#DemriG02