AIML 2024: ADVANCES IN MODAL LOGIC 2024