摘要
破坏模态逻辑是一种动态逻辑。它在静态模态逻辑的基础上加入了一个动态算子,解释成“在删掉一条边后,公式为真”。在本文中,我们试图解决一个开放问题,即给出破坏模态逻辑的Sahlqvist对应定理。我们定义破坏模态逻辑的Sahlqvist公式,并给出一个算法ALBASML来计算破坏模态逻辑的Sahlqvist公式的一阶对应。
Sabotage modal logic(SML) is a kind of dynamic logic. 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 stated in Aucher, van Benthem and Grossi(2018), namely giving a Sahlqvist-type correspondence the-orem(Sahlqvist 1975) for sabotage modal logic. In this paper, we define sabotage Sahlqvist formulas and give an algorithm ALBASMLto compute the first-order correspondents of sabo-tage Sahlqvist formulas. We give some remarks and future directions at the end of the paper.
作者
赵之光
Zhiguang Zhao(School of Mathematics and Statistics,Taishan University)
出处
《逻辑学研究》
CSSCI
2022年第6期66-92,共27页
Studies in Logic
基金
supported by Taishan University Starting Grant “Studies on Algebraic Sahlqvist Theory”
the Taishan Young Scholars Program of the Government of Shandong Province,China (tsqn201909151)
the Support Plan on Science and Technology for Youth Innovation of Uni-versities in Shandong Province (2021KJ086)。
