Fine Selection for Intuitionistic Modal Logic

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 $\mathsf{K}\mathsf{4}$ has the finite model property.