A. Avron, The method of hypersequents in the proof theory of propositional nonclassical logic, Logic: from foundations to applications, 1996.

T. Brünnler, Deep sequent systems for modal logic, Advances in Modal Logic AiML, vol.6, pp.107-119, 2006.

L. Goble, Gentzen systems for modal logic, Notre Dame Journal of Formal Logic, vol.15, pp.455-461, 1974.

A. Indrzejczak, Generalised sequent calculus for propositional modal logics, Logica Trianguli, vol.1, pp.15-31, 1997.

R. Kashima, Cut-free sequent calculi for some tense logics, Studia Logica, vol.53, pp.119-135, 1994.

M. Matsumoto and K. Ohnishi, Gentzen method in modal calculi, Osaka Mathematical Journal, vol.9, pp.115-120, 1959.

G. Mints, Indexed systems of sequents and cut-elimination', Journal of Philosophical Logic, vol.26, pp.671-696, 1997.

S. Negri, Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, 2005.

F. Poggiolesi, A cut-free simple sequent calculus for modal logic s5', Submitted to the Review of Symbolic Logic, 2007.

F. Poggiolesi, Sequent calculus for modal logic, Logic Colloqium, 2006.
URL : https://hal.archives-ouvertes.fr/halshs-00775808

G. Sambin and S. Valentini, The modal logic of provability. the sequential approach, Journal of Philosophical Logic, vol.11, pp.311-342, 1982.

H. Wansing, Sequent calculi for normal modal propositional logics, Journal of Logic and Computation, vol.4, pp.125-142, 1994.