A. Avron, The method of hypersequents in the proof theory of propositional non-classical logic, Logic: from foundations to applications, pp.1-32, 1996.

B. Hill and F. Poggiolesi, A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic, Studia Logica, vol.1, issue.4, 2009.
DOI : 10.1007/978-94-017-1280-4
URL : https://hal.archives-ouvertes.fr/hal-00521802

R. Kashima, Cut-free sequent calculi for some tense logics, Studia Logica, vol.13, issue.1, pp.119-135, 1994.
DOI : 10.1007/BF01053026

D. Leivant, On the proof theory of the modal logic for arithmetic provability, The Journal of Symbolic Logic, vol.44, issue.03, pp.531-538, 1981.
DOI : 10.1007/BF02757006

A. Moen, The proposed algorithms for eliminating cuts in the provability calculus gls do not terminate, 2003.

S. Negri, Proof Analysis in Modal Logic, Journal of Philosophical Logic, vol.12, issue.5-6, pp.507-534, 2005.
DOI : 10.1007/3-540-51237-3_20

F. Poggiolesi, Sequent calculi modal logic, pp.1-224, 2008.

F. Poggiolesi, The Method of Tree-Hypersequents for??Modal??Propositional??Logic, Trends in Logic: Towards Mathematical Philsophy, pp.31-51, 2009.
DOI : 10.1007/978-1-4020-9084-4_3
URL : https://hal.archives-ouvertes.fr/halshs-00775815

F. Poggiolesi, Reflecting the semantic features of S5 at the syntactic level. SILFS conference proceedings, 2009.
URL : https://hal.archives-ouvertes.fr/halshs-00775814

K. Sasaki, Löb's axiom and cut-elimination theorem, Journal of the Nanzan Academic Society Math. Sci. and Information Engineering, vol.1, pp.91-98, 2001.

S. Valentini, The modal logic of provability: Cut-elimination, Journal of Philosophical Logic, vol.11, issue.4, pp.471-476, 1983.
DOI : 10.1007/BF00249262

H. Wansing, Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation, vol.4, issue.2, pp.125-142, 1994.
DOI : 10.1093/logcom/4.2.125

H. Wansing, Sequent Systems for Modal Logics, Handbook of Philosophical Logic, pp.61-145, 2002.
DOI : 10.1007/978-94-010-0387-2_2
URL : http://arp.anu.edu.au/%7Ejeremy/pubs/cutelim/Wansingc.pdf

, Francesca Poggiolesi Centre for Logic and Philosophy of Science at the Vrije Universiteit Brussel Etterbeek Campus, Pleinlaan, vol.2