关系改变逻辑作为混合逻辑的片段
计算机科学中的逻辑
2016-09-15 v1
摘要
关系改变模态逻辑是基本模态逻辑的扩展，允许在公式求值期间改变模型的可达关系。具体而言，它们配备了能够在模型中局部和全局地删除、添加以及交换边的动态模态词。我们提供了从这些逻辑到混合逻辑的翻译及其实现。一般而言，这些逻辑是不可判定的，但我们利用我们的翻译来识别可判定的片段。我们还比较了关系改变模态逻辑与混合逻辑的表达能力。
引用
@article{arxiv.1609.04086,
title = {Relation-Changing Logics as Fragments of Hybrid Logics},
author = {Carlos Areces and Raul Fervari and Guillaume Hoffmann and Mauricio Martel},
journal= {arXiv preprint arXiv:1609.04086},
year = {2016}
}
备注
In Proceedings GandALF 2016, arXiv:1609.03648