The Modal Logic of Abstraction Refinement. - Jakob Piribauer; Vinzent Zschuppe (FoSSaCS, 2026)