论文标题
Sahlqvist对应理论的破坏模态逻辑
Sahlqvist Correspondence Theory for Sabotage Modal Logic
论文作者
论文摘要
破坏模态逻辑（SML）是一种动态逻辑。它以动态模态扩展静态模态逻辑，该模态被解释为“在删除框架中的箭头后，公式为真”。在本文中，我们旨在解决一个开放问题，即为Sabotage模态逻辑提供SAHLQVIST型对应定理。在本文中，我们定义了sabotage sahlqvist公式，并给出算法以计算Sabotage Sahlqvist公式的一阶通讯员。我们在本文结尾给出了一些评论和未来的指示。
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. In this paper, we define sabotage Sahlqvist formulas and give an algorithm to compute the first-order correspondents of sabotage Sahlqvist formulas. We give some remarks and future directions at the end of the paper.
