Towards a Proof Theory of Gödel Modal Logics (Logical Methods in Computer Science, 2011)