Label-free Modular Systems for Classical and Intuitionistic Modal Logics. - Sonia Marin; Lutz Straßburger (Advances in Modal Logic, 2014)

A focused framework for emulating modal proof systems. - Sonia Marin; Dale Miller 001; Marco Volpe 001 (Advances in Modal Logic, 2016)

Focused and Synthetic Nested Sequents. - Kaustuv Chaudhuri; Sonia Marin; Lutz Straßburger (FoSSaCS, 2016)

Modular Focused Proof Systems for Intuitionistic Modal Logics. - Kaustuv Chaudhuri; Sonia Marin; Lutz Straßburger (FSCD, 2016)

Proof Theory for Indexed Nested Sequents. - Sonia Marin; Lutz Straßburger (TABLEAUX, 2017)

Modal proof theory through a focused telescope. (Voir la théorie de la démonstration de la logique modale à travers un télescope focalisé). - Sonia Marin (2018)

Ecumenical Modal Logic. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (DaLí, 2020)

Focused Proof-search in the Logic of Bunched Implications. - Alexander Gheorghiu; Sonia Marin (FoSSaCS, 2021)

A Pure View of Ecumenical Modalities. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (WoLLIC, 2021)

Synchronous Forwarders. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (CoRR, 2021)

Forwarders as Process Compatibility, Logically. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (CoRR, 2021)

Justification Logic for Constructive Modal Logic. - Roman Kuznets; Sonia Marin; Lutz Straßburger (FLAP, 2021)

A fully labelled proof system for intuitionistic modal logics. - Sonia Marin; Marianela Morales; Lutz Straßburger (J. Log. Comput., 2021)

Modal logic and the polynomial hierarchy: from QBFs to K and back. - Anupam Das 002; Sonia Marin (AiML, 2022)

From axioms to synthetic inference rules via focusing. - Sonia Marin; Dale Miller 001; Elaine Pimentel; Marco Volpe 001 (Ann. Pure Appl. Log., 2022)

Intuitionistic S4 is decidable. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (LICS, 2023)

A Logical Interpretation of Asynchronous Multiparty Compatibility. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (LOPSTR, 2023)

On Intuitionistic Diamonds (and Lack Thereof). - Anupam Das 002; Sonia Marin (TABLEAUX, 2023)

Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. - Anupam Das 002; Iris van der Giessen; Sonia Marin (CSL, 2024)

A Simple Loopcheck for Intuitionistic K. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (WoLLIC, 2024)

Nested Sequents for Quasi-transitive Modal Logics. - Sonia Marin; Paaras Padhiar (CoRR, 2024)

Separability and harmony in ecumenical systems. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (J. Log. Comput., 2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report). - Sonia Marin; Paaras Padhiar (CoRR, 2025)