TY  - RPRT
TI  - Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
AU  - Philippe Balbiani
AU  - Cigdem Gencer
PY  - 2025
UR  - https://arxiv.org/abs/2503.18714
ID  - 2503.18714
ER  -