{"id":"arxiv/2604.25780","url":"https://arxiv.org/abs/2604.25780","tags":["math.LO"],"score":0,"title":"Finite Kripke models and provability interpretations in quantified modal logic","domain":"math.LO","source":"arxiv","authors":["Haruka Kogure","Taishi Kurahashi"],"reviews":0,"subject":"math.LO","summary":"In this paper, we investigate arithmetical completeness with respect to finite Kripke models of quantified modal logic. We adapt the finite-model embedding techniques of Artemov and Japaridze to two settings involving finite Kripke models. First, for conversely well-founded finite Kripke models of quantified modal logic, we construct a $Σ_2$ Fefermanian provability predicate together with an arithmetical interpretation that embeds the model into arithmetic. Second, for finite constant domain Kripke models of quantified modal logic, we construct a $Σ_1$ provability predicate satisfying…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-28","reactions":{}}