Fine Selection for Intuitionistic Modal Logic

2026-09-22

AI Summary

本文通过扩展Fine的选择方法到直觉主义模态逻辑，证明了Fischer Servi风格的直觉主义K4具有有限模型性质。

Abstract

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.

Problem

• intuitionistic modal logic
• Fine's selection method
• finite model property

Innovation

• intuitionistic modal logic
• Fine's selection method
• finite model property