Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments. - Qihui Feng; Hannah Wilk; Shakil M. Khan 001; Gerhard Lakemeyer (AAMAS, 2025)