ModalLogicBench: Unveiling Modal Logic Reasoning Abilities of Large Language Models. - Xianglong Li; Yu Liu; Botao Zhang; Mingjing Jiang; Yunfei Chen (ICIC (23), 2025)