Sonia Marin

According to our database, Sonia Marin authored at least 20 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics.

Anupam Das, Iris van der Giessen, Sonia Marin

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

On Intuitionistic Diamonds (and Lack Thereof).

Anupam Das, Sonia Marin

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

A Logical Interpretation of Asynchronous Multiparty Compatibility.

Marco Carbone, Sonia Marin, Carsten Schürmann

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

Intuitionistic S4 is decidable.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

LICS, 2023

2022

Separability and harmony in ecumenical systems.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

CoRR, 2022

From axioms to synthetic inference rules via focusing.

Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe

Ann. Pure Appl. Log., 2022

Modal logic and the polynomial hierarchy: from QBFs to K and back.

Anupam Das, Sonia Marin

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

A fully labelled proof system for intuitionistic modal logics.

Sonia Marin, Marianela Morales, Lutz Straßburger

J. Log. Comput., 2021

Justification Logic for Constructive Modal Logic.

Roman Kuznets, Sonia Marin, Lutz Straßburger

FLAP, 2021

Forwarders as Process Compatibility, Logically.

Marco Carbone, Sonia Marin, Carsten Schürmann

CoRR, 2021

Synchronous Forwarders.

Marco Carbone, Sonia Marin, Carsten Schürmann

CoRR, 2021

A Pure View of Ecumenical Modalities.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Proceedings of the Logic, Language, Information, and Computation, 2021

Focused Proof-search in the Logic of Bunched Implications.

Alexander Gheorghiu, Sonia Marin

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Ecumenical Modal Logic.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

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

PhD thesis, 2018

2017

Proof Theory for Indexed Nested Sequents.

Sonia Marin, Lutz Straßburger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016

Modular Focused Proof Systems for Intuitionistic Modal Logics.

Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Focused and Synthetic Nested Sequents.

Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger

Proceedings of the Foundations of Software Science and Computation Structures, 2016

A focused framework for emulating modal proof systems.

Sonia Marin, Dale Miller, Marco Volpe

Proceedings of the Advances in Modal Logic 11, 2016

2014

Label-free Modular Systems for Classical and Intuitionistic Modal Logics.

Sonia Marin, Lutz Straßburger

Proceedings of the Advances in Modal Logic 10, 2014