7 citations · 8 across the 6 of their papers we have counts for
5 papers · 1 filter
A Logical Interpretation of Asynchronous Multiparty Compatibility
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typ…
Intuitionistic S4 is decidable
Marianna Girlando, Roman Kuznets, Sonia Marin +2
In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years…
Separability and harmony in ecumenical systems
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now.…
Focused Proof-search in the Logic of Bunched Implications
Alexander Gheorghiu, Sonia Marin
The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search…
Ecumenical modal logic
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others…