破坏模态逻辑是一种动态逻辑。它在静态模态逻辑的基础上加入了一个动态算子，解释成“在删掉一条边后，公式为真”。在本文中，我们试图解决一个开放问题，即给出破坏模态逻辑的Sahlqvist对应定理。我们定义破坏模态逻辑的Sahlqvist公式，并给出一个算法ALBASML来计算破坏模态逻辑的Sahlqvist公式的一阶对应。
科研之友
微信
新浪微博
Facebook
分享链接
