PreprintCC BY 4.0arXiv
Fine Selection for Intuitionistic Modal Logic
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.
Related
- Intuitionistic and Constructive Modal Logics for Classical Modal Logicians
- Failure of Higher-Order Truth within Intuitionistic Propositional Logic
- Rule extensions of the implication--negation fragment of intuitionistic logic
- On the foundations of logic and probability, II. Modal probability spaces
- On the foundations of logic and probability, I. Modal sentential calculi
BibTeX
@misc{fernandezduque2026fine,
title = {{Fine Selection for Intuitionistic Modal Logic}},
author = {David Fernández-Duque},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.27078},
eprint = {2609.27078},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.27078},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Fine Selection for Intuitionistic Modal Logic
AU - David Fernández-Duque
PY - 2026
DA - 2026/09/29
PB - arXiv
DO - 10.48550/arxiv.2609.27078
UR - https://arxiv.org/abs/2609.27078
AB - 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.
ER -