Hybrid sabotage modal logic. - Johan van Benthem; Lei Li; Chenwei Shi; Haoxuan Yin 002 (J. Log. Comput., 2023)

Layered Modal ML: Syntax and Full Abstraction. - Haoxuan Yin 002; Andrzej S. Murawski; C.-H. Luke Ong (CoRR, 2026)