TY  - RPRT
TI  - Higher-order Kripke models for intuitionistic and non-classical modal logics
AU  - Victor Barroso-Nascimento
PY  - 2026
UR  - https://arxiv.org/abs/2507.18798
ID  - 2507.18798
ER  -