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 | 29 | 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 | 25 | 2022 |
Focused and Synthetic Nested Sequents. K Chaudhuri, S Marin, L Straßburger FoSSaCS, 390-407, 2016 | 23 | 2016 |
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 | 19 | 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 | 8 | 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 | 7 | 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 |