On nested sequents for constructive modal logics, Logical Methods in Computer Science, vol.11, issue.3, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01093143
,
leantap: Lean tableau-based deduction, Journal of Automated Reasoning, vol.15, issue.3, pp.339-358, 1995. ,
Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.48, issue.6, pp.551-577, 2009. ,
Tableaux: A general theorem prover for modal logics, Journal of automated reasoning, vol.7, issue.4, pp.489-510, 1991. ,
Focused and synthetic nested sequents, Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01417618
Modular focused proof systems for intuitionistic modal logics, 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, vol.52, pp.1-16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01417603
Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino, vol.42, issue.3, pp.179-194, 1984. ,
Label-free proof systems for intuitionistic modal logic IS5, International Conference on Logic for Programming Artificial Intelligence and Reasoning, pp.255-271, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00580298
Untersuchungenüber das logische Schließen. I, Mathematische Zeitschrift, vol.39, pp.176-210, 1935. ,
Cut-elimination and proof search for biintuitionistic tense logic, Advances in Modal Logic, pp.156-177, 2010. ,
Cut-free sequent calculi for some tense logics, Studia Logica, vol.53, issue.1, pp.119-136, 1994. ,
Maehara-style modal nested calculi, Archive for Mathematical Logic, vol.58, issue.3-4, pp.359-385, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01644750
Combining monotone and normal modal logic in nested sequentswith countermodels, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.203-220, 2019. ,
Modularisation of sequent calculi for normal and nonnormal modalities, ACM Transactions on Computational Logic (TOCL), vol.20, issue.2, p.7, 2019. ,
Eine darstellung der intuitionistischen logik in der klassischen, Nagoya mathematical journal, vol.7, pp.45-64, 1954. ,
Modal proof theory through a focused telescope, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-01951291
Label-free Modular Systems for Classical and Intuitionistic Modal Logics, Advances in Modal Logic 10, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01092148
Nescond: an implementation of nested sequent calculi for conditional logics, International Joint Conference on Automated Reasoning, pp.511-518, 2014. ,
How to build an automated theorem prover, 2019. ,
A framework for intuitionistic modal logic, Theoretical Aspects of Reasoning About Knowledge, 1986. ,
The method of tree-hypersequents for modal propositional logic, Trends in Logic, vol.28, pp.31-51, 2009. ,
URL : https://hal.archives-ouvertes.fr/halshs-00775815
The Proof Theory and Semantics of Intuitionistic Modal Logic, 1994. ,
Cut elimination in nested sequents for intuitionistic modal logics, FoSSaCS'13, vol.7794, pp.209-224, 2013. ,