量化宣告逻辑的无有限模型性质
计算机科学中的逻辑
2021-06-23 v1
摘要
对公开宣告的量化将视角从严格推理特定宣告的结果，转向推理是否存在某个达成特定认知目标的宣告。依据量化的类型，我们得到不同的形式体系，其中最为人所知的是任意公开宣告逻辑（APAL）、群体宣告逻辑（GAL）和联盟宣告逻辑（CAL）。这些逻辑是否具有有限模型性质一直是一个开放问题，本文对该问题给出否定回答。我们还讨论了这一结果如何与该领域其他开放问题相关联。
引用
@article{arxiv.2106.11498,
title = {No Finite Model Property for Logics of Quantified Announcements},
author = {Hans van Ditmarsch and Tim French and Rustam Galimullin},
journal= {arXiv preprint arXiv:2106.11498},
year = {2021}
}
备注
In Proceedings TARK 2021, arXiv:2106.10886