TY  - RPRT
TI  - Intuitionistic modal logic LIK4 is decidable
AU  - Philippe Balbiani
AU  - Çigdem Gencer
AU  - Tinko Tinchev
PY  - 2025
UR  - https://arxiv.org/abs/2512.04687
ID  - 2512.04687
ER  -