On nested sequents for constructive modal logic, Logical Methods in Computer Science, 2015. ,
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. ,
Models for normal intuitionistic modal logics, Studia Logica, vol.43, issue.3, pp.217-245, 1984. ,
On an intuitionistic modal logic, Studia Logica, vol.65, issue.3, pp.383-416, 2000. ,
Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.48, issue.6, pp.551-577, 2009. ,
Intuitionistic non-normal modal logics: A general framework, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02439704
Proof analysis in intermediate logics, Archive for Mathematical Logic, vol.51, issue.1-2, pp.71-92, 2012. ,
Intuitionistic tense and modal logic, The Journal of Symbolic Logic, vol.51, issue.1, pp.166-179, 1986. ,
Intuitionistic modal logic with quantifiers, Portugaliae Mathematica, vol.7, issue.2, pp.113-118, 1948. ,
Nested sequents for intuitionistic logics, Notre Dame Journal of Formal Logic, vol.55, issue.1, pp.41-61, 2014. ,
, Labelled Deductive Systems, 1996.
, of Studies in Proof Theory. Bibliopolis, edizioni di filosofia e scienze, vol.I, 1987.
Cut-free sequent calculi for some tense logics, Studia Logica, vol.53, issue.1, pp.119-136, 1994. ,
Linear nested sequents, 2-sequents and hypersequents, TABLEAUX: Automated Reasoning with Analytic Tableaux and Related Methods, pp.135-150, 2015. ,
2-sequent calculus: A proof theory of modalities, Annals of Pure and Applied Logic, vol.58, pp.229-246, 1992. ,
From axioms to synthetic inference rules via focusing, 2020. ,
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
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
Cut-free Gentzen calculus for multimodal CK. Information and Computation, vol.209, 2011. ,
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
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
Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, issue.5-6, p.507, 2005. ,
, Structural proof theory, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01251230
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
A framework for intuitionistic modal logic ,
, 1st Conference on Theoretical Aspects of Reasoning About Knowledge, 1986.
Axiomatizations for some intuitionistic modal logics, vol.42, pp.179-194, 1984. ,
The proof theory and semantics of intuitionistic modal logic, 1994. ,
Maehara-style modal nested calculi. Archive for Mathematical Logic, vol.58, pp.359-385, 2019. ,
Cut elimination in nested sequents for intuitionistic modal logics, LNCS, vol.7794, issue.13, pp.209-224, 2013. ,
Basic Proof Theory, 2000. ,
Labelled Non-Classical Logic, 2000. ,
Constructive modal logics I, Annals of Pure and Applied Logic, vol.50, issue.3, pp.271-301, 1990. ,