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/978-94-010-0387-2_2

G. Fischer-servi, Semantics for a class of intuitionistic modal calculi. Italian Studies in the Philosophy of Science, Boston Studies in the Philosophy of Science, p.47, 1980.

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

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

M. Fitting, Cut-free proof systems for Geach logics, IfCoLog Journal of Logics and their Applications, vol.2, issue.2, p.2015

D. Galmiche and Y. Salhi, Label-free natural deduction systems for intuitionistic and classical modal logics, Journal of Applied Non-Classical Logics, vol.22, issue.4, 2010.
DOI : 10.1305/ndjfl/1093888133
URL : https://hal.archives-ouvertes.fr/hal-00580296

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.13, issue.2, 2011.
DOI : 10.1017/S1755020310000134

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

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.

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. Marin and L. Straßburger, On the Proof Theory of Indexed Nested Sequents for Classical and Intuitionistic Modal Logics Available at https, 2017.

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

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

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

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

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.

R. Ramanayake, Inducing Syntactic Cut-Elimination for Indexed Nested Sequents, 2016.
DOI : 10.1007/978-3-642-37075-5_14

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