论探究认知逻辑的表达能力
逻辑
2025-02-13 v3 计算机科学中的逻辑
摘要
探究模态逻辑InqML在其认知化身中，扩展了标准认知逻辑，不仅捕捉代理所拥有的信息，还捕捉他们感兴趣的问题。我们使用InqML设置中自然引入的双模拟等价概念（如[Ciardelli/Otto: JSL 2021]中所述），来刻画InqML的表达能力，即作为一阶逻辑在作为探究认知（S5类）模型的关系编码的两类一阶结构自然类上的双模拟不变片段。这些类的非初等性质关键地需要非经典的模型论方法来分析一阶表达能力，无论我们旨在经典模型论还是有限模型论意义上的刻画。
引用
@article{arxiv.2312.14573,
title = {On the expressive power of inquisitive epistemic logic},
author = {Ivano Ciardelli and Martin Otto},
journal= {arXiv preprint arXiv:2312.14573},
year = {2025}
}
备注
this is a second companion paper to arXiv:1803.03483 (after Journal of Symbolic Logic 86(1), pp.77-109, 2021. doi:10.1017/jsl.2020.77). This revised version corrects a technical mistake in the main part of previous versions and attempts to improve presentation, largely in response to anonymous referee reports which we gratefully received; correction of typos in previous version