The Method of Tree-Hypersequents for Modal Propositional Logic

Introduction; – The Calculi CSK*; – Admissibility of the Structural Rules; – The Adequateness of the Calculi; – Cut-Elimination Theorem for CSK*; – Conclusions and Further Work.