3 papers
math.LO2026
Modalities in non-classical variations of
Leonardo Pacheco
A classical result in modal logic states that has modalities, that is, every sequence of negations, boxes, and diamonds is equivalent to one in a set of suc…
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…