发表机构
University of Barcelona（巴塞罗那大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文扩展Fine选择方法至直觉主义模态逻辑，证明Fischer Servi式直觉主义K4具有有限模型性质。
AI 中文摘要
我们将Fine的选择方法扩展到直觉主义模态逻辑的框架中，并利用该方法为Fischer Servi风格的直觉主义K4提供模型论证明，表明其具有有限模型性质。
英文摘要
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.
CommentsThis version corrects various typos and inaccuracies which, while minor, affected legibility. Notably, the definition of $Σ$-trees was missing, the definition of admissibility had an order relation reversed, and the ordinal assignment required adding one to ensure monotonicity
