1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
On the cut-elimination of the modal -calculus: Linear Logic to the rescue
Esaïe Bauer, Alexis Saurin
This paper presents a proof-theoretic analysis of the modal -calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal -calculus, using met…
cs.LO2021★ 1 cited
Super Exponentials in Linear Logic
Esaïe Bauer, Olivier Laurent
Following the idea of Subexponential Linear Logic and Stratified Bounded Linear Logic, we propose a new parameterized version of Linear Logic which subsumes other systems like ELL,…