Gore, RajeevRamanayake, Revantha2015-12-130039-3215http://hdl.handle.net/1885/81454We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel-Löb logic GL (provability logic) and Grzegorczyk's logic Grz. Semantically, GL can be viewed as the irreflexive201410.1007/s11225-012-9432-92015-12-11