Leonardo Pacheco

collaborators

2 papers

cs.LO2026

The Constructive $I^¼$ -calculus: Game Semantics and Non-Wellfounded Proof Systems

Leonardo Pacheco

We study a variant of the modal $I^¼$ -calculus based on the constructive modal logic $CK$ . We define game semantics for the constructive $I^¼$ -calculus and prove its equival…

math.LO2026

Polytopological Semantics for Intuitionistic Modal Logics

Juan P. Aguilera, David FernÃ¡ndez-Duque, Leonardo Pacheco

We develop polytopological semantics for various constructive, intuitionistic, and GÃ¶del--Dummett variations of $K4$ and $S4$ . In our models, intuitionistic and…

The Constructive I^¼-calculus: Game Semantics and Non-Wellfounded Proof Systems

Polytopological Semantics for Intuitionistic Modal Logics

The Constructive $I^¼$ -calculus: Game Semantics and Non-Wellfounded Proof Systems