1 citations · 1 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
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 -…
Determinacy and reflection principles in second-order arithmetic
Leonardo Pacheco, Keita Yokoyama
It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and…