J. 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

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

N. D. Belnap and J. , Display logic, Journal of Philosophical Logic, vol.11, issue.4, pp.375-417, 1982.
DOI : 10.1007/BF00284976

T. Brock-nannestad and C. Schürmann, Focused Natural Deduction, LPAR 17, pp.157-171, 2010.
DOI : 10.1007/978-3-642-16242-8_12

K. Brünnler, Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.85, issue.2, pp.551-577, 2009.
DOI : 10.1007/s00153-009-0137-3

K. Chaudhuri, Focusing Strategies in the Sequent Calculus of Synthetic Connectives, LPAR: International Conference on Logic, Programming, Artificial Intelligence and Reasoning, pp.467-481, 2008.
DOI : 10.1007/978-3-540-89439-1_33

K. Chaudhuri, N. Guenot, and L. Straßburger, The Focused Calculus of Structures, Computer Science Logic: 20th Annual Conference of the EACSL, Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum für Informatik, pp.159-173, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00772420

K. Chaudhuri, S. Hetzl, and D. Miller, A multi-focused proof system isomorphic to expansion proofs, Journal of Logic and Computation, vol.26, issue.2, 2014.
DOI : 10.1093/logcom/exu030

URL : https://hal.archives-ouvertes.fr/hal-00937056

K. Chaudhuri, D. Miller, and A. Saurin, Canonical Sequent Proofs via Multi-Focusing, Fifth International Conference on Theoretical Computer Science, pp.383-396, 2008.
DOI : 10.1007/978-0-387-09680-3_26

URL : https://hal.archives-ouvertes.fr/hal-00527893

K. Chaudhuri, F. Pfenning, and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Journal of Automated Reasoning, vol.2, issue.5, pp.133-177, 2008.
DOI : 10.1007/s10817-007-9091-0

M. Fitting, Prefixed tableaus and nested sequents, Annals of Pure and Applied Logic, vol.163, issue.3, pp.291-313, 2012.
DOI : 10.1016/j.apal.2011.09.004

J. Garson, Modal logic, The Stanford Encyclopedia of Philosophy, 2008.
DOI : 10.1017/CBO9781139856461.017

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

O. Laurent, A proof of the focalization property in linear logic. Unpublished note, 2004.

B. Lellmann, Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications, International Joint Conference on Automated Reasoning IJCAR, pp.307-321, 2014.
DOI : 10.1007/978-3-319-08587-6_23

B. Lellmann and E. Pimentel, Proof Search in Nested Sequent Calculi, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2015.
DOI : 10.1007/978-3-662-48899-7_39

C. Liang and D. 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

S. Marin and L. Straßburger, Label-free modular systems for classical and intuitionistic modal logics, Advances in Modal Logic (AIML-10), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092148

S. Mclaughlin and F. Pfenning, Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic, 15th International Conference on Logic, Programming, Artificial Intelligence and Reasoning (LPAR), pp.174-181, 2008.
DOI : 10.1007/978-3-540-89439-1_12

D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-157, 1991.
DOI : 10.1016/0168-0072(91)90068-W

D. Miller and M. Volpe, Focused Labeled Proof Systems for Modal Logic, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2015.
DOI : 10.1007/978-3-662-48899-7_19

URL : https://hal.archives-ouvertes.fr/hal-01213858

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

F. Pfenning and R. Davies, A judgmental reconstruction of modal logic, Notes to an invited talk at the Workshop on Intuitionistic Modal Logics and Applications (IMLA'99), pp.511-540, 2001.
DOI : 10.1017/S0960129501003322

F. Poggiolesi, The Method of Tree-Hypersequents for??Modal??Propositional??Logic, Towards Mathematical Philosophy, pp.31-51, 2009.
DOI : 10.1007/978-1-4020-9084-4_3

URL : https://hal.archives-ouvertes.fr/halshs-00775815

J. Reed and F. Pfenning, Focus-preserving embeddings of substructural logics in intuitionistic logic, 2010.

R. J. Simmons, Structural Focalization, ACM Transactions on Computational Logic, vol.15, issue.3, pp.1-2133, 2014.
DOI : 10.1145/2629678

A. Simpson, The Proof Theory and Semantics of Intuitionistic Modal Logic, 1994.

L. Straßburger, Cut Elimination in Nested Sequents for Intuitionistic Modal Logics, Foundations of Software Science and Computation Structures, 16th International Conference (FOSSACS), pp.209-224, 2013.
DOI : 10.1007/978-3-642-37075-5_14

N. Zeilberger, Focusing and higher-order abstract syntax, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.359-369, 2008.