TY  - RPRT
TI  - Axiomatizing logics of finite Gödel-Kripke models
AU  - Amanda Vidal
AU  - Ricardo O. Rodriguez
PY  - 2026
UR  - https://arxiv.org/abs/2605.15810
ID  - 2605.15810
ER  -