Toon vak Modal Logic and Proof Theory