1. Hypersequent calculi for modal logics;Burns,2018
2. Gentzen Calculi for Modal Propositional Logic;Poggiolesi,2011
3. Untersuchungen über das logische Schließen;Gentzen;Math. Z.,1934
4. Proof Theory;Takeuti,2013
5. Grundlagen der Mathematik, vol. 1;Hilbert,1928