G. M. Bierman and V. De-paiva, On an intuitionistic modal logic, Studia Logica, vol.65, issue.3, pp.383-416, 2000.
DOI : 10.1023/A:1005291931660

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. Brünnler and L. Straßburger, Modular Sequent Systems for Modal Logic, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'09, pp.152-166, 2009.
DOI : 10.1007/978-3-642-02716-1_12

A. Ciabattoni, N. Galatos, and K. Terui, From Axioms to Analytic Rules in Nonclassical Logics, 2008 23rd Annual IEEE Symposium on Logic in Computer Science, pp.229-240, 2008.
DOI : 10.1109/LICS.2008.39

A. Ciabattoni and R. Ramanayake, Structural Extensions of Display Calculi: A General Recipe, Logic, Language, Information, and Computation ? WoLLIC 2013, pp.81-95, 2013.
DOI : 10.1007/978-3-642-39992-3_10

F. Fitch, Intuitionistic modal logic with quantifiers, Portugaliae Mathematica, vol.7, pp.113-118, 1948.

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

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, pp.373-421, 2010.
DOI : 10.1007/s10992-005-2267-3
URL : https://hal.archives-ouvertes.fr/hal-00580296

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. Kashima, Cut-free sequent calculi for some tense logics, Studia Logica, vol.13, issue.1, pp.119-136, 1994.
DOI : 10.1007/BF01053026

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

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

G. D. Plotkin and C. P. 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, Towards Mathematical Philosophy, Trends in Logic, vol.28, pp.31-51, 2009.
DOI : 10.1007/978-1-4020-9084-4_3
URL : https://hal.archives-ouvertes.fr/halshs-00775815

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

G. F. Servi, Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino, vol.42, pp.179-194, 1984.

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, pp.209-224, 2013.
DOI : 10.1007/978-3-642-37075-5_14