The method of hypersequents in the proof theory of propositional nonclassical logic, Logic: from foundations to applications, 1996. ,
Deep sequent systems for modal logic, Advances in Modal Logic AiML, vol.6, pp.107-119, 2006. ,
Gentzen systems for modal logic, Notre Dame Journal of Formal Logic, vol.15, pp.455-461, 1974. ,
Generalised sequent calculus for propositional modal logics, Logica Trianguli, vol.1, pp.15-31, 1997. ,
Cut-free sequent calculi for some tense logics, Studia Logica, vol.53, pp.119-135, 1994. ,
Gentzen method in modal calculi, Osaka Mathematical Journal, vol.9, pp.115-120, 1959. ,
Indexed systems of sequents and cut-elimination', Journal of Philosophical Logic, vol.26, pp.671-696, 1997. ,
Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, 2005. ,
A cut-free simple sequent calculus for modal logic s5', Submitted to the Review of Symbolic Logic, 2007. ,
Sequent calculus for modal logic, Logic Colloqium, 2006. ,
URL : https://hal.archives-ouvertes.fr/halshs-00775808
The modal logic of provability. the sequential approach, Journal of Philosophical Logic, vol.11, pp.311-342, 1982. ,
Sequent calculi for normal modal propositional logics, Journal of Logic and Computation, vol.4, pp.125-142, 1994. ,