TY  - RPRT
TI  - Finite Kripke models and provability interpretations in quantified modal logic
AU  - Haruka Kogure
AU  - Taishi Kurahashi
PY  - 2026
UR  - https://arxiv.org/abs/2604.25780
ID  - 2604.25780
ER  -