Fine Selection for Intuitionistic Modal Logic
En palabras de los autores
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 has the finite model property.
Resultado principalEl resumen no menciona limitaciones.
Apareció: jueves, 24 de septiembre. arXiv. Preprint, todavía sin revisión por pares.