1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…