Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
Logic in Computer Science
2025-03-25 v1
Abstract
In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic IK, we provide new and simpler decidability proofs for FIK and LIK.
Keywords
Cite
@article{arxiv.2503.18714,
title = {Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK},
author = {Philippe Balbiani and Cigdem Gencer},
journal= {arXiv preprint arXiv:2503.18714},
year = {2025}
}