]. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

B. Beckert and R. Goré, Free variable tableaux for propositional modal logics, Studia Logica, vol.69, issue.1, pp.59-96, 1997.
DOI : 10.1007/BFb0027407

V. B. Blackburn, P. Blackburn, and J. Van-benthem, 1 Modal logic: a semantic perspective, Handbook of Modal Logic, pp.1-82, 2007.
DOI : 10.1016/S1570-2464(07)80004-8

K. Brünnler, Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.85, issue.2, pp.551-577, 2009.
DOI : 10.1007/978-94-010-0387-2_2

. Chaudhuri, Focused and Synthetic Nested Sequents, FoSSaCS, pp.390-407, 2016.
DOI : 10.1145/1328438.1328482
URL : https://hal.archives-ouvertes.fr/hal-01417618

. Chihani, The Proof Certifier Checkers, Automated Reasoning with Analytic Tableaux and Related Methods -24th International Conference, TABLEAUX 2015, pp.201-210, 2015.
DOI : 10.1007/978-3-642-45221-5_49
URL : https://hal.archives-ouvertes.fr/hal-01208333

. Chihani, A Semantic Framework for Proof Evidence, Journal of Automated Reasoning, vol.42, issue.1, 2016.
DOI : 10.1017/CBO9781139168717
URL : https://hal.archives-ouvertes.fr/hal-01390912

D. M. Gabbay, Labelled Deductive Systems, 1996.
DOI : 10.1016/S1874-5075(03)80014-1

R. Goré, R. Goré, and R. Ramanayake, Labelled tree sequents, tree hypersequents and nested (deep) sequents. In Advances in Modal Logic 9, papers from the ninth conference on Advances in Modal Logic, pp.22-25, 2012.

B. Lellmann and E. Pimentel, Proof Search in Nested Sequent Calculi, Logic for Programming, Artificial Intelligence, and Reasoning -20th International Conference Proceedings, volume 9450 of Lecture Notes in Computer Science, pp.558-574, 2015.
DOI : 10.1007/978-3-662-48899-7_39

D. Liang and . Miller, Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009.
DOI : 10.1016/j.tcs.2009.07.041
URL : https://doi.org/10.1016/j.tcs.2009.07.041

. Marin, A focused framework for emulating modal proof systems Advances in Modal Logic 11, proceedings of the 11th conference on Advances in Modal Logic, pp.469-488, 2016.

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

F. Poggiolesi, Gentzen Calculi for Modal Propositional Logic, 2011.
DOI : 10.1007/978-90-481-9670-8
URL : https://hal.archives-ouvertes.fr/halshs-00775804

P. Stewart and . Stouppa, A systematic proof theory for several modal logics Advances in Modal logic, 5th Conference on, pp.309-333, 2004.