R. Arisaka, A. Das, and L. Straßburger, On nested sequents for constructive modal logic, LMCS, vol.11, issue.37, p.2015

G. Bierman and V. De-paiva, On an intuitionistic modal logic, Stud. Log, vol.65, issue.3, 2000.

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

F. B. Fitch, Intuitionistic modal logic with quantifiers, Portug. Math, vol.7, issue.2, 1948.

M. Fitting, Cut-free proof systems for Geach formulas. to appear in the IfCoLog Journal of Logics and their Applications, 2015.

G. Fischer and S. , Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino, vol.42, issue.3, 1984.

G. Gentzen, UntersuchungenüberUntersuchungen¨Untersuchungenüber das logische Schließen. I, Mathematische Zeitschrift, vol.39, 1934.
DOI : 10.1007/bf01201353

R. Goré, L. Postniece, and A. Tiu, On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics, Logical Methods in Computer Science, vol.7, issue.2, 2011.
DOI : 10.2168/LMCS-7(2:8)2011

R. Goré and R. Ramanayake, Labelled tree sequents, tree hypersequents and nested (deep) sequents, AIML 9, 2012.

D. Galmiche and Y. Salhi, Label-free natural deduction systems for intuitionistic and classical modal logics, Journal of Applied Non-Classical Logics, vol.18, issue.3, 2010.
DOI : 10.1007/s10992-005-2267-3

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

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

F. Lamarche, On the algebra of structural contexts, Accepted at Mathematical Structures in Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00099461

J. Edward, D. S. Lemmon, and . Scott, An Introduction to Modal Logic, 1977.

M. Mendler and S. Scheele, Cut-free Gentzen calculus for multimodal CK, Information and Computation, vol.209, issue.12, 2011.

S. Marin and L. Straßburger, Label-free Modular Systems for Classical and Intuitionistic Modal Logics, AIML 10, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092148

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

F. Pfenning and R. Davies, A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science, vol.11, issue.04, 2001.
DOI : 10.1017/S0960129501003322

F. Poggiolesi, The Method of Tree-Hypersequents for Modal Propositional Logic, volume 28 of Trends in Logic, 2009.

D. Prawitz, Natural Deduction, A Proof-Theoretical Study, 1965.

G. Plotkin and C. Stirling, A Framework for Intuitionistic Modal Logics, Theoretical Aspects of Reasoning About Knowledge, 1986.
DOI : 10.1016/B978-0-934613-04-0.50032-6

R. Ramanayake, Inducing Syntactic Cut-Elimination for Indexed Nested Sequents, 2016.
DOI : 10.1007/978-3-319-40229-1_29

A. Russo, Generalising Propositional Modal Logic Using Labelled Deductive Systems, In FroCoS, 1996.
DOI : 10.1007/978-94-009-0349-4_2

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

L. Straßburger, Cut Elimination in Nested Sequents for Intuitionistic Modal Logics, FoSSaCS'13, 2013.
DOI : 10.1007/978-3-642-37075-5_14

L. Viganò, Labelled Non-Classical Logic, 2000.
DOI : 10.1007/978-1-4757-3208-5