7 citations · 8 across the 6 of their papers we have counts for
7 papers
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.…
Forwarders as Process Compatibility, Logically
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is k…
Synchronous Forwarders
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with lin…
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…