Year: 2026
Type: preprint
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.
Source: arXiv (Cornell University)
Author: Fernández-Duque, David
Institution: Universitat de Barcelona
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214147279