Sabotage modal logic (SML) is a kind of dynamic logics. It extends static modal logic with a dynamic modality which is interpreted as "after deleting an arrow in the frame, the formula is true". In the present paper, we are aiming at solving an open problem, namely giving a Sahlqvist-type correspondence theorem for sabotage modal logic. We use the standard minimal-valuation techniques to show that the Sahlqvist fragment of sabotage modal logic has first-order correspondents. We also give an algorithm ALBA to compute the first-order correspondents of sabotage Sahlqvist formulas. We give some remarks and future directions at the end of the paper.

翻译：破坏模式逻辑(SML)是一种动态逻辑。它以一种动态模式扩展静态模式逻辑,其动态模式被解释为“在删除框架中的箭后,公式是真实的”。 在本文件中,我们的目标是解决一个尚未解决的问题,即给Sahlqvist型通信模式逻辑提供破坏模式逻辑的理论。我们使用标准的最低限度评价技术来表明Sahlqvist破坏模式逻辑的碎片有头等通讯员。我们还给出了ALBA算法来计算破坏Sahlqvist公式的第一阶记者。我们在文件结尾处给出了一些评论和未来方向。