Fine Selection for Intuitionistic Modal Logic
David Fernández-Duque
math.LOarXiv:2609.27078
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 K4 has the finite model property.
Create a lesson
Related papers
On the foundations of logic and probability, I. Modal sentential calculi
Loic Cosyns
Compactness via Consistency Properties
Edgar Valenzuela
Asymptotic dimension of commutative monoid actions
Jinmin Wang, Jing Yu, Jingming Zhu
Pointwise provable equality and the failure of composition
Florian Lengyel
Compactness beyond choice and HOD
Jonathan Osinski
Finite Spectra of Syllogistic Logic with Cardinality Comparisons
Ruiting Jiang