Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction. - Tenyo Takahashi (CoRR, 2025)