典型文献
破坏模态逻辑的算法对应理论
文献摘要：
破坏模态逻辑是一种动态逻辑.它在静态模态逻辑的基础上加入了一个动态算子,解释成"在删掉一条边后,公式为真".在本文中,我们试图解决一个开放问题,即给出破坏模态逻辑的Sahlqvist对应定理.我们定义破坏模态逻辑的Sahlqvist公式,并给出一个算法ALBASML来计算破坏模态逻辑的Sahlqvist公式的一阶对应.
文献关键词：
中图分类号：
作者姓名：
赵之光
作者机构：
泰山学院数学与统计学院
文献出处：
引用格式：
[1]赵之光-.破坏模态逻辑的算法对应理论)[J].逻辑学研究,2022(06):66-92
A类：
Sahlqvist,ALBASML
B类：
破坏模态,模态逻辑,动态逻辑,删掉,一条边,图解
AB值：
0.214585
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
