@misc{indiciaec5b6941911d1,
  title = {Finite Kripke models and provability interpretations in quantified modal logic},
  author = {Haruka Kogure and Taishi Kurahashi},
  year = {2026},
  url = {https://arxiv.org/abs/2604.25780},
  note = {Source identifier: 2604.25780}
}