On nested sequents for constructive modal logic, LMCS, vol.11, issue.37, p.2015 ,
On an intuitionistic modal logic, Stud. Log, vol.65, issue.3, 2000. ,
Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.85, issue.2, 2009. ,
DOI : 10.1007/s00153-009-0137-3
Intuitionistic modal logic with quantifiers, Portug. Math, vol.7, issue.2, 1948. ,
Cut-free proof systems for Geach formulas. to appear in the IfCoLog Journal of Logics and their Applications, 2015. ,
Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino, vol.42, issue.3, 1984. ,
UntersuchungenüberUntersuchungen¨Untersuchungenüber das logische Schließen. I, Mathematische Zeitschrift, vol.39, 1934. ,
DOI : 10.1007/bf01201353
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
Labelled tree sequents, tree hypersequents and nested (deep) sequents, AIML 9, 2012. ,
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
Cut-free sequent calculi for some tense logics, Studia Logica, vol.13, issue.1, 1994. ,
DOI : 10.1007/BF01053026
On the algebra of structural contexts, Accepted at Mathematical Structures in Computer Science, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00099461
An Introduction to Modal Logic, 1977. ,
Cut-free Gentzen calculus for multimodal CK, Information and Computation, vol.209, issue.12, 2011. ,
Label-free Modular Systems for Classical and Intuitionistic Modal Logics, AIML 10, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01092148
Proof Analysis in Modal Logic, Journal of Philosophical Logic, vol.12, issue.5-6, 2005. ,
DOI : 10.1007/s10992-005-2267-3
A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science, vol.11, issue.04, 2001. ,
DOI : 10.1017/S0960129501003322
The Method of Tree-Hypersequents for Modal Propositional Logic, volume 28 of Trends in Logic, 2009. ,
Natural Deduction, A Proof-Theoretical Study, 1965. ,
A Framework for Intuitionistic Modal Logics, Theoretical Aspects of Reasoning About Knowledge, 1986. ,
DOI : 10.1016/B978-0-934613-04-0.50032-6
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents, 2016. ,
DOI : 10.1007/978-3-319-40229-1_29
Generalising Propositional Modal Logic Using Labelled Deductive Systems, In FroCoS, 1996. ,
DOI : 10.1007/978-94-009-0349-4_2
The Proof Theory and Semantics of Intuitionistic Modal Logic, 1994. ,
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics, FoSSaCS'13, 2013. ,
DOI : 10.1007/978-3-642-37075-5_14
Labelled Non-Classical Logic, 2000. ,
DOI : 10.1007/978-1-4757-3208-5