{"id":"arxiv/2609.27078","url":"https://arxiv.org/abs/2609.27078","tags":["math.LO","cs.LO"],"score":0,"title":"Fine Selection for Intuitionistic Modal Logic","domain":"math.LO","source":"arxiv","authors":["David Fernández-Duque"],"reviews":0,"subject":"math.LO","summary":"We extend Fine's selection method to the setting of intuitionistic modal logic and use it to provide a model-theoretic proof that Fischer Servi-style intuitionistic $\\sf K4$ has the finite model property.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}