Preprint
Fine Selection for Intuitionistic Modal Logic
Mathematics
Computer Science
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.