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

P. Blackburn and J. Van-benthem, 1 Modal logic: a semantic perspective, Handbook of Modal Logic, pp.1-82, 2007.
DOI : 10.1016/S1570-2464(07)80004-8

Z. Chihani, D. Miller, and F. Renaud, Foundational Proof Certificates in First-Order Logic, CADE 24, LNAI 7898, pp.162-177, 2013.
DOI : 10.1007/978-3-642-38574-2_11

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

Z. Chihani, T. Libal, and G. Reis, System Description: The Proof Certifier Checkers

R. Dyckhoff and S. Negri, Proof analysis in intermediate logics, Archive for Mathematical Logic, vol.43, issue.1-2, pp.71-92, 2012.
DOI : 10.1007/s00153-011-0254-7

R. Dyckhoff and S. Negri, Geometrisation of first-order logic. The Bulletin of Symbolic Logic, pp.123-163

M. Fitting, Modal proof theory Handbook of Modal Logic, pp.85-138, 2007.

D. M. Gabbay, Labelled Deductive Systems, 1996.
DOI : 10.1016/S1874-5075(03)80014-1

J. Girard, On the meaning of logical rules I: syntax vs. semantics, Computational Logic, pp.215-272, 1999.

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

D. Miller, A Proposal for Broad Spectrum Proof Certificates, CPP 2011, pp.54-69
DOI : 10.1007/978-3-540-88387-6_3

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

D. Miller and G. Nadathur, Programming with Higher-Order Logic, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776197

D. Miller and E. Pimentel, A formal framework for specifying sequent calculus proof systems, Theoretical Computer Science, vol.474, pp.98-116, 2013.
DOI : 10.1016/j.tcs.2012.12.008

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

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

S. Negri, J. V. , and P. , Abstract, Bulletin of Symbolic Logic, vol.4, issue.04, pp.418-435, 1998.
DOI : 10.2307/420956

V. Nigam, E. Pimentel, and G. Reis, An extended framework for specifying and reasoning about proof systems, Journal of Logic and Computation, vol.26, issue.2, 2014.
DOI : 10.1093/logcom/exu029

H. Sahlqvist, Completeness and Correspondence in the First and Second Order Semantics for Modal Logic, Proceedings of the Third Scandinavian Logic Symposium, pp.110-143, 1975.
DOI : 10.1016/S0049-237X(08)70728-6

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

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