Craig Interpolation for Awareness Logics. - Kosuke Udatsu; Katsuhiko Sano (ICLA, 2025)