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
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. ,
Display logic, Journal of Philosophical Logic, vol.11, issue.4, pp.375-417, 1982. ,
DOI : 10.1007/BF00284976
Focused Natural Deduction, LPAR 17, pp.157-171, 2010. ,
DOI : 10.1007/978-3-642-16242-8_12
Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.85, issue.2, pp.551-577, 2009. ,
DOI : 10.1007/s00153-009-0137-3
Focusing Strategies in the Sequent Calculus of Synthetic Connectives, LPAR: International Conference on Logic, Programming, Artificial Intelligence and Reasoning, pp.467-481, 2008. ,
DOI : 10.1007/978-3-540-89439-1_33
The Focused Calculus of Structures, Computer Science Logic: 20th Annual Conference of the EACSL, Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum für Informatik, pp.159-173, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00772420
A multi-focused proof system isomorphic to expansion proofs, Journal of Logic and Computation, vol.26, issue.2, 2014. ,
DOI : 10.1093/logcom/exu030
URL : https://hal.archives-ouvertes.fr/hal-00937056
Canonical Sequent Proofs via Multi-Focusing, Fifth International Conference on Theoretical Computer Science, pp.383-396, 2008. ,
DOI : 10.1007/978-0-387-09680-3_26
URL : https://hal.archives-ouvertes.fr/hal-00527893
A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Journal of Automated Reasoning, vol.2, issue.5, pp.133-177, 2008. ,
DOI : 10.1007/s10817-007-9091-0
Prefixed tableaus and nested sequents, Annals of Pure and Applied Logic, vol.163, issue.3, pp.291-313, 2012. ,
DOI : 10.1016/j.apal.2011.09.004
Modal logic, The Stanford Encyclopedia of Philosophy, 2008. ,
DOI : 10.1017/CBO9781139856461.017
Cut-free sequent calculi for some tense logics, Studia Logica, vol.13, issue.1, pp.119-136, 1994. ,
DOI : 10.1007/BF01053026
A proof of the focalization property in linear logic. Unpublished note, 2004. ,
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications, International Joint Conference on Automated Reasoning IJCAR, pp.307-321, 2014. ,
DOI : 10.1007/978-3-319-08587-6_23
Proof Search in Nested Sequent Calculi, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2015. ,
DOI : 10.1007/978-3-662-48899-7_39
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
Label-free modular systems for classical and intuitionistic modal logics, Advances in Modal Logic (AIML-10), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01092148
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic, 15th International Conference on Logic, Programming, Artificial Intelligence and Reasoning (LPAR), pp.174-181, 2008. ,
DOI : 10.1007/978-3-540-89439-1_12
Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-157, 1991. ,
DOI : 10.1016/0168-0072(91)90068-W
Focused Labeled Proof Systems for Modal Logic, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2015. ,
DOI : 10.1007/978-3-662-48899-7_19
URL : https://hal.archives-ouvertes.fr/hal-01213858
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
A judgmental reconstruction of modal logic, Notes to an invited talk at the Workshop on Intuitionistic Modal Logics and Applications (IMLA'99), pp.511-540, 2001. ,
DOI : 10.1017/S0960129501003322
The Method of Tree-Hypersequents for??Modal??Propositional??Logic, Towards Mathematical Philosophy, pp.31-51, 2009. ,
DOI : 10.1007/978-1-4020-9084-4_3
URL : https://hal.archives-ouvertes.fr/halshs-00775815
Focus-preserving embeddings of substructural logics in intuitionistic logic, 2010. ,
Structural Focalization, ACM Transactions on Computational Logic, vol.15, issue.3, pp.1-2133, 2014. ,
DOI : 10.1145/2629678
The Proof Theory and Semantics of Intuitionistic Modal Logic, 1994. ,
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics, Foundations of Software Science and Computation Structures, 16th International Conference (FOSSACS), pp.209-224, 2013. ,
DOI : 10.1007/978-3-642-37075-5_14
Focusing and higher-order abstract syntax, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.359-369, 2008. ,