Leonardo Pacheco

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2024

Collapsing Constructive and Intuitionistic Modal Logics

Leonardo Pacheco

We prove that the constructive and intuitionistic variants of the modal logic $KB$ coincide. This result contrasts with a recent result by Das and Marin, who showed that t…

math.LO2024

Game semantics for the constructive $I^¼$ -calculus

Leonardo Pacheco

We define game semantics for the constructive $I^¼$ -calculus and prove its equivalence to bi-relational semantics. As an application, we use the game semantics to prove that the $Î¼…

Collapsing Constructive and Intuitionistic Modal Logics

Game semantics for the constructive I^¼-calculus

Game semantics for the constructive $I^¼$ -calculus