Completeness Theorems for Modal Logic in Second-Order Arithmetic. - Sho Shimomichi; Yuto Takeda; Keita Yokoyama (CiE, 2025)