Gentzen Calculi for Modal Propositional Logic (Trends