Sonia Marin

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