失去连接：可定义链接删除的模态逻辑
计算机科学中的逻辑
2019-03-06 v2
摘要
本文从图之模态逻辑视角出发，以日常生活中恶劣环境下的通信为模型，构造了一个二人博弈，其中链接可依据对抗方玩家可用的定义被局部删除。我们首先引入一种新的语言、语义及若干典型有效性。随后，我们为该模态逻辑表述了一种新型一阶翻译并证明其正确性。接着，提出一种新的互模拟概念，由此得到该逻辑作为一阶逻辑片段的刻画定理，并进一步考察其相对于混合模态语言的表达能力。接下来，我们以动态认知逻辑为对比，讨论如何公理化此链接删除逻辑。最后，我们证明新模态逻辑既不具有树模型性质也不具有有限模型性质，且其可满足性问题不可判定。
引用
@article{arxiv.1811.05074,
title = {Losing Connection:the Modal Logic of Definable Link Deletion},
author = {Dazhu Li},
journal= {arXiv preprint arXiv:1811.05074},
year = {2019}
}