research
∙
09/01/2023
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
We derive an intuitionistic version of Gödel-Löb modal logic (GL) in the...
share
research
∙
05/25/2023
A Logical Interpretation of Asynchronous Multiparty Compatibility
Session types are types for specifying the protocols that communicating ...
research
∙
04/05/2022
Separability and harmony in ecumenical systems
The quest of smoothly combining logics so that connectives from classica...
research
∙
12/14/2021
Forwarders as Process Compatibility, Logically
Session types define protocols that processes must follow when communica...
research
∙
02/09/2021
Synchronous Forwarders
Session types are types for specifying protocols that processes must fol...
research
∙
10/16/2020
Focused Proof-search in the Logic of Bunched Implications
The logic of Bunched Implications (BI) freely combines additive and mult...
research
∙
05/28/2020