Sonia Marin

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 25

Top Venues

CoRR

FoSSaCS

TABLEAUX

WoLLIC

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Sonia Marin, Paaras Padhiar
Nested Sequents for Quasi-transitive Modal Logics. CoRR (2024)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
A Simple Loopcheck for Intuitionistic K. WoLLIC (2024)
Anupam Das, Iris van der Giessen, Sonia Marin
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. CSL (2024)
Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. LICS (2023)
Anupam Das, Sonia Marin
On Intuitionistic Diamonds (and Lack Thereof). TABLEAUX (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. CoRR (2023)
Anupam Das, Iris van der Giessen, Sonia Marin
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics. CoRR (2023)
Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR (2023)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Separability and harmony in ecumenical systems. CoRR (2022)
Anupam Das, Sonia Marin
Modal logic and the polynomial hierarchy: from QBFs to K and back. AiML (2022)
Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe
From axioms to synthetic inference rules via focusing. Ann. Pure Appl. Log. 173 (5) (2022)
Roman Kuznets, Sonia Marin, Lutz Straßburger
Justification Logic for Constructive Modal Logic. FLAP 8 (8) (2021)
Marco Carbone, Sonia Marin, Carsten Schürmann
Forwarders as Process Compatibility, Logically. CoRR (2021)
Marco Carbone, Sonia Marin, Carsten Schürmann
Synchronous Forwarders. CoRR (2021)
Alexander Gheorghiu, Sonia Marin
Focused Proof-search in the Logic of Bunched Implications. FoSSaCS (2021)
Sonia Marin, Marianela Morales, Lutz Straßburger
A fully labelled proof system for intuitionistic modal logics. J. Log. Comput. 31 (3) (2021)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
A Pure View of Ecumenical Modalities. WoLLIC (2021)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical Modal Logic. DaLí (2020)
Alexander Gheorghiu, Sonia Marin
Focused Proof-search in the Logic of Bunched Implications. CoRR (2020)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical modal logic. CoRR (2020)
Sonia Marin, Lutz Straßburger
Proof Theory for Indexed Nested Sequents. TABLEAUX (2017)
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
Modular Focused Proof Systems for Intuitionistic Modal Logics. FSCD (2016)
Sonia Marin, Dale Miller, Marco Volpe
A focused framework for emulating modal proof systems. Advances in Modal Logic (2016)
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
Focused and Synthetic Nested Sequents. FoSSaCS (2016)
Sonia Marin, Lutz Straßburger
Label-free Modular Systems for Classical and Intuitionistic Modal Logics. Advances in Modal Logic (2014)

Sonia Marin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sonia Marin