[logic-ml] Sapporo Mini-Workshop on Modal Logic: 10th November 2023