The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames. - Leonardo Pacheco; Kazuyuki Tanaka (WoLLIC, 2022)

Game semantics for the constructive μ-calculus. - Leonardo Pacheco (CoRR, 2023)

Higher-Order Feedback Computation. - Juan P. Aguilera 001; Robert S. Lubarsky; Leonardo Pacheco (CiE, 2024)

Collapsing Constructive and Intuitionistic Modal Logics. - Leonardo Pacheco (CoRR, 2024)