| Publication | Date of Publication | Type |
|---|
| Playing with modalities (invited talk) | 2026-06-09 | Paper |
| The modal cube revisited: semantics without worlds | 2026-02-10 | Paper |
| A sequent calculus perspective on base-extension semantics | 2026-02-10 | Paper |
| On an ecumenical natural deduction with \textit{stoup}. I: The propositional case | 2025-11-17 | Paper |
Separability and harmony in ecumenical systems
Journal of Logic and Computation | 2025-09-30 | Paper |
Translations and Prawitz's ecumenical system
Studia Logica | 2025-05-07 | Paper |
| Reasoning about group polarization: from semantic games to sequent systems | 2025-02-19 | Paper |
| A tour on ecumenical systems (invited talk) | 2024-11-26 | Paper |
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Electronic Proceedings in Theoretical Computer Science | 2024-03-14 | Paper |
An ecumenical notion of entailment
Synthese | 2023-12-14 | Paper |
Proving structural properties of sequent systems in rewriting logic
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
| Explorations in Subexponential non-associative non-commutative Linear Logic (extended version) | 2023-07-06 | Paper |
| scientific article; zbMATH DE number 7700608 (Why is no real title available?) | 2023-06-23 | Paper |
| An ecumenical view of proof-theoretic semantics | 2023-06-06 | Paper |
A linear logic framework for multimodal logics
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
| Non-associative, non-commutative multi-modal linear logic | 2022-12-07 | Paper |
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
| A pure view of ecumenical modalities | 2022-06-24 | Paper |
From axioms to synthetic inference rules via focusing
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
Journal Of Logic And Computation | 2022-02-08 | Paper |
| The ILLTP library for intuitionistic linear logic | 2021-12-20 | Paper |
The ILLTP library for intuitionistic linear logic
(available as arXiv preprint) | 2021-12-20 | Paper |
Ecumenical modal logic
(available as arXiv preprint) | 2021-12-01 | Paper |
| A fresh view of linear logic as a logical framework | 2021-02-22 | Paper |
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
(available as arXiv preprint) | 2021-01-08 | Paper |
Ecumenical modal logic
(available as arXiv preprint) | 2020-05-28 | Paper |
| Sequentialising nested systems | 2020-05-14 | Paper |
A game model for proofs with costs
(available as arXiv preprint) | 2020-05-14 | Paper |
| Countermodel construction via optimal hypersequent calculi for non-normal modal logics | 2020-05-06 | Paper |
Hybrid linear logic, revisited
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
Modularisation of sequent calculi for normal and non-normal modalities
ACM Transactions on Computational Logic | 2019-05-03 | Paper |
A uniform framework for substructural logics with modalities
EPiC Series in Computing | 2019-01-10 | Paper |
| A semantical view of proof systems | 2018-10-18 | Paper |
A concurrent constraint programming interpretation of access permissions
Theory and Practice of Logic Programming | 2018-05-31 | Paper |
| Multi-focused proofs with different polarity assignments | 2018-04-23 | Paper |
| From cut-free calculi to automated deduction: the case of bounded contraction | 2018-04-23 | Paper |
Hybrid and subexponential linear logics
(available as arXiv preprint) | 2018-04-23 | Paper |
On subexponentials, focusing and modalities in concurrent systems
Theoretical Computer Science | 2017-09-12 | Paper |
On concurrent behaviors and focusing in linear logic
Theoretical Computer Science | 2017-06-15 | Paper |
| Proving concurrent constraint programming correct, revisited | 2016-08-01 | Paper |
An extended framework for specifying and reasoning about proof systems
Journal Of Logic And Computation | 2016-07-07 | Paper |
| Dynamic spaces in concurrent constraint programming | 2016-05-10 | Paper |
Proof search in nested sequent calculi
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Subexponential concurrent constraint programming
Theoretical Computer Science | 2015-12-08 | Paper |
Specifying proof systems in linear logic with subexponentials
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
A proof theoretic study of soft concurrent constraint programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
| Lazy strong normalization | 2013-10-02 | Paper |
A general proof system for modalities in concurrent constraint programming
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science | 2013-03-27 | Paper |
Intersection types from a proof-theoretic perspective
Fundamenta Informaticae | 2013-01-24 | Paper |
Strong normalization from an unusual point of view
Theoretical Computer Science | 2011-05-10 | Paper |
On the Specification of Sequent Systems
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 2152687 (Why is no real title available?) | 2005-04-05 | Paper |
| scientific article; zbMATH DE number 1950250 (Why is no real title available?) | 2003-07-17 | Paper |
