R. Arisaka, A. Das, and L. Straßburger, On nested sequents for constructive modal logic, Logical Methods in Computer Science, 2015.

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.

M. Bo?i? and K. Do?en, Models for normal intuitionistic modal logics, Studia Logica, vol.43, issue.3, pp.217-245, 1984.

M. Gavin, V. Bierman, and . De-paiva, On an intuitionistic modal logic, Studia Logica, vol.65, issue.3, pp.383-416, 2000.

K. Brünnler, Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.48, issue.6, pp.551-577, 2009.

T. Dalmonte, C. Grellois, and N. Olivetti, Intuitionistic non-normal modal logics: A general framework, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02439704

R. Dyckhoff and S. Negri, Proof analysis in intermediate logics, Archive for Mathematical Logic, vol.51, issue.1-2, pp.71-92, 2012.

W. B. Ewald, Intuitionistic tense and modal logic, The Journal of Symbolic Logic, vol.51, issue.1, pp.166-179, 1986.

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

M. Fitting, Nested sequents for intuitionistic logics, Notre Dame Journal of Formal Logic, vol.55, issue.1, pp.41-61, 2014.

D. M. Gabbay, Labelled Deductive Systems, 1996.

J. Girard, of Studies in Proof Theory. Bibliopolis, edizioni di filosofia e scienze, vol.I, 1987.

R. Kashima, Cut-free sequent calculi for some tense logics, Studia Logica, vol.53, issue.1, pp.119-136, 1994.

B. Lellmann, Linear nested sequents, 2-sequents and hypersequents, TABLEAUX: Automated Reasoning with Analytic Tableaux and Related Methods, pp.135-150, 2015.

A. Masini, 2-sequent calculus: A proof theory of modalities, Annals of Pure and Applied Logic, vol.58, pp.229-246, 1992.

S. Marin, D. Miller, E. Pimentel, and M. Volpe, From axioms to synthetic inference rules via focusing, 2020.

P. Maffezioli and A. Naibo, Proof theory of epistemic logic of programs. Logic and Logical Philosophy, vol.23, pp.301-328, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01251214

P. Maffezioli, A. Naibo, and S. Negri, The Church-Fitch knowability paradox in the light of structural proof theory, Synthese, vol.190, issue.14, pp.2677-2716, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01251230

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

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

S. Marin and L. Straßburger, Proof theory for indexed nested sequents, Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, pp.81-97, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01635935

S. Negri, Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, issue.5-6, p.507, 2005.

S. Negri and P. Jan-von, Structural proof theory, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01251230

F. Poggiolesi, The method of tree-hypersequents for modal propositional logic, Towards Mathematical Philosophy, vol.28, pp.31-51, 2009.
URL : https://hal.archives-ouvertes.fr/halshs-00775815

D. Gordon, C. P. Plotkin, and . Stirling, A framework for intuitionistic modal logic

. Halpern, 1st Conference on Theoretical Aspects of Reasoning About Knowledge, 1986.

G. Fischer-servi, Axiomatizations for some intuitionistic modal logics, vol.42, pp.179-194, 1984.

A. Simpson, The proof theory and semantics of intuitionistic modal logic, 1994.

L. Straßburger and R. Kuznets, Maehara-style modal nested calculi. Archive for Mathematical Logic, vol.58, pp.359-385, 2019.

L. Straßburger, Cut elimination in nested sequents for intuitionistic modal logics, LNCS, vol.7794, issue.13, pp.209-224, 2013.

A. Sjerp-troelstra and H. Schwichtenberg, Basic Proof Theory, 2000.

L. Viganò, Labelled Non-Classical Logic, 2000.

D. Wijesekera, Constructive modal logics I, Annals of Pure and Applied Logic, vol.50, issue.3, pp.271-301, 1990.