破坏模态逻辑的 Sahlqvist 对应理论
逻辑
2021-07-05 v3 计算机科学中的逻辑
摘要
破坏模态逻辑 (SML) 是一类动态逻辑。它在静态模态逻辑基础上扩展了一个动态模态，解释为“在框架中删除一条箭头后，公式为真”。本文旨在解决一个开放问题，即给出破坏模态逻辑的 Sahlqvist 型对应定理。我们定义了破坏 Sahlqvist 公式，并给出了计算破坏 Sahlqvist 公式一阶对应者的算法。文末我们给出了一些注记与未来方向。
引用
@article{arxiv.2003.08070,
title = {Sahlqvist Correspondence Theory for Sabotage Modal Logic},
author = {Zhiguang Zhao},
journal= {arXiv preprint arXiv:2003.08070},
year = {2021}
}