The method of hypersequents in the proof theory of propositional non-classical logic, Logic: from foundations to applications, pp.1-32, 1996. ,
A perspective on modal sequent logic, Publications of the Research Institute for Mathematical Sciences, pp.763-782, 1991. ,
DOI : 10.2977/prims/1195169271
A cut-free Gentzen formulation of the modal logic S5, Logic Journal of IGPL, vol.8, issue.5, pp.629-643, 2000. ,
DOI : 10.1093/jigpal/8.5.629
Deep sequent systems for modal logic Advances in Modal Logic AiML, pp.107-119, 2006. ,
Cut-free modal sequents for normal modal logics., Notre Dame Journal of Formal Logic, vol.34, issue.4, pp.564-582, 1993. ,
DOI : 10.1305/ndjfl/1093633906
Abstract, The Journal of Symbolic Logic, vol.50, issue.01, pp.149-159, 1985. ,
DOI : 10.2307/2024952
Generalised sequent calculus for propositional modal logics, Logica Trianguli, vol.1, pp.15-31, 1997. ,
Gentzen method in modal calculi, Osaka Mathematical Journal, vol.11, pp.115-120, 1959. ,
Indexed systems of sequents and cut-elimination, Journal of Philosophical Logic, vol.4, issue.2, pp.671-696, 1997. ,
DOI : 10.1093/logcom/4.2.125
Proof Analysis in Modal Logic, Journal of Philosophical Logic, vol.12, issue.5-6, pp.507-534, 2005. ,
DOI : 10.1007/3-540-51237-3_20
Sequent calculus for modal logic. Logic Colloqium, 2006. ,
URL : https://hal.archives-ouvertes.fr/halshs-00775808
Two cut-free sequent calculi for modal logic s5, 2007. ,
The method of tree-hypersequent for modal propositional logic. To appear in Trends in Logic IV, 2008. ,
DOI : 10.1007/978-1-4020-9084-4_3
Sequents and circuits for modal logic, To appear in the Proceedings of Logic Colloquium, 2006. ,
DOI : 10.1017/cbo9780511546464.012
URL : https://philpapers.org/archive/RESPFS.pdf
A cut-free Gentzen-type system for the modal logic S5, The Journal of Symbolic Logic, vol.9, issue.01, pp.67-84, 1980. ,
DOI : 10.1007/BF01201363
Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation, vol.4, issue.2, pp.125-142, 1994. ,
DOI : 10.1093/logcom/4.2.125