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

S. Blumey and L. Humberstone, A perspective on modal sequent logic, Publications of the Research Institute for Mathematical Sciences, pp.763-782, 1991.
DOI : 10.2977/prims/1195169271

T. Braüner, A cut-free Gentzen formulation of the modal logic S5, Logic Journal of IGPL, vol.8, issue.5, pp.629-643, 2000.
DOI : 10.1093/jigpal/8.5.629

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

C. Cerrato, Cut-free modal sequents for normal modal logics., Notre Dame Journal of Formal Logic, vol.34, issue.4, pp.564-582, 1993.
DOI : 10.1305/ndjfl/1093633906

K. Do?en, Abstract, The Journal of Symbolic Logic, vol.50, issue.01, pp.149-159, 1985.
DOI : 10.2307/2024952

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

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

G. Mints, Indexed systems of sequents and cut-elimination, Journal of Philosophical Logic, vol.4, issue.2, pp.671-696, 1997.
DOI : 10.1093/logcom/4.2.125

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 calculus for modal logic. Logic Colloqium, 2006.
URL : https://hal.archives-ouvertes.fr/halshs-00775808

F. Poggiolesi, Two cut-free sequent calculi for modal logic s5, 2007.

F. Poggiolesi, The method of tree-hypersequent for modal propositional logic. To appear in Trends in Logic IV, 2008.
DOI : 10.1007/978-1-4020-9084-4_3

G. Restall, Sequents and circuits for modal logic, To appear in the Proceedings of Logic Colloquium, 2006.
DOI : 10.1017/cbo9780511546464.012

URL : https://philpapers.org/archive/RESPFS.pdf

M. Sato, A cut-free Gentzen-type system for the modal logic S5, The Journal of Symbolic Logic, vol.9, issue.01, pp.67-84, 1980.
DOI : 10.1007/BF01201363

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