3 papers
cs.LO2025
The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
Leonardo Pacheco
The modal mu-calculus is obtained by adding least and greatest fixed-point operators to modal logic. Its alternation hierarchy classifies the mu-formulas by their alternation depth…
math.LO2024
Collapsing Constructive and Intuitionistic Modal Logics
Leonardo Pacheco
We prove that the constructive and intuitionistic variants of the modal logic coincide. This result contrasts with a recent result by Das and Marin, who showed that t…
math.LO2024
Game semantics for the constructive -calculus
Leonardo Pacheco
We define game semantics for the constructive -calculus and prove its equivalence to bi-relational semantics. As an application, we use the game semantics to prove that the $μ…