| Label-free modular systems for classical and intuitionistic modal logics S Marin, L Straßburger Advances in Modal Logic 10, 2014 | 64 | 2014 |
| Modular Focused Proof Systems for Intuitionistic Modal Logics K Chaudhuri, S Marin, L Straßburger LIPIcs-Leibniz International Proceedings in Informatics 52, 2016 | 28 | 2016 |
| Focused and Synthetic Nested Sequents. K Chaudhuri, S Marin, L Straßburger FoSSaCS, 390-407, 2016 | 23 | 2016 |
| From axioms to synthetic inference rules via focusing S Marin, D Miller, E Pimentel, M Volpe Annals of Pure and Applied Logic 173 (5), 103091, 2022 | 21 | 2022 |
| A focused framework for emulating modal proof systems S Marin, D Miller, M Volpe 11th conference on" Advances in Modal Logic", 469-488, 2016 | 20 | 2016 |
| A fully labelled proof system for intuitionistic modal logics S Marin, M Morales, L Straßburger Journal of Logic and Computation 31 (3), 998-1022, 2021 | 15 | 2021 |
| Focused Proof-search in the Logic of Bunched Implications. A Gheorghiu, S Marin FoSSaCS, 247-267, 2021 | 13 | 2021 |
| Justification logic for constructive modal logic R Kuznets, S Marin, L Straßburger IMLA 2017-7th Workshop on Intuitionistic Modal Logic and Applications, 2017 | 11 | 2017 |
| Proof theory for indexed nested sequents S Marin, L Straßburger Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 10 | 2017 |
| Modal proof theory through a focused telescope S Marin Université Paris Saclay, 2018 | 9 | 2018 |
| A pure view of ecumenical modalities S Marin, LC Pereira, E Pimentel, E Sales International Workshop on Logic, Language, Information, and Computation, 388-407, 2021 | 6 | 2021 |
| Justification logic for constructive modal logic R Kuznets, S Marin, L Straßburger Journal of Applied Logics 8 (8), 2313-2332, 2021 | 6 | 2021 |
| Ecumenical modal logic S Marin, LC Pereira, E Pimentel, E Sales International Workshop on Dynamic Logic, 187-204, 2020 | 5 | 2020 |
| Fully structured proof theory for intuitionistic modal logics S Marin, M Morales AiML 2020-Advances in Modal Logic, 2020 | 2 | 2020 |
| Ecumenical modal logic (short version) S Marin, LC Pereira, E Pimentel, E Sales Short Papers Advances in Modal Logic AiML 2020, 50, 2020 | | 2020 |
| A cut-free proof system for pseudo-transitive modal logics S Marin, L Straßburger This volume contains the abstracts of the talks presented at TACL 2015 …, 2015 | | 2015 |
| Modular Systems for Intuitionistic Modal Logic in Nested Sequents S Marin, L Straßburger Third Workshop Gentzen Systems and Beyond, 21, 2014 | | 2014 |
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
