巴托斯·贝德纳西克;或者Majałowska;安娜·帕卡诺夫斯卡;托尼·谭 关于用百分数和算术扩展的经典可判定逻辑。 （英语） Zbl 07799614号 Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213，第36条，第15页（2021年）。 摘要：在过去的几十年中，人们花费了大量精力来识别一阶逻辑的可判定片段。这些努力产生了两个变量片段和保护片段，这取决于语言对公式施加的限制类型。尽管上述逻辑在形式验证和知识表示等领域取得了成功，但这种一阶片段太弱，甚至无法表达影响网络建模或统计推理所需的最简单的统计约束。在这项工作中，我们研究了这些带有百分比量词的经典可判定逻辑的扩展，指定了在缩进模型中满足公式的频率。令人惊讶的是，我们发现，所有提到的可判定片段在这种扩展下都变得不可判定，这使得文献中现有的结果更加尖锐。我们的否定结果得到了两变量保护片段的可判定性的补充，该片段具有更具表现力的计数，即Presburger约束。我们的结果可以用于推断各种模态和描述逻辑的可判定性，例如带有表达基数约束的Converse或ALCI的Presburger模态逻辑。关于整个系列，请参见[Zbl 1482.68008号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68季度 计算理论 关键词：统计推理;知识表示;可满足性;一阶逻辑片段;保护碎片;双变量碎片;（un）可判定性 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bednarczyk｝等人，LIPIcs——莱布尼茨国际期刊。通知。213，第36条，第15页（2021；Zbl 07799614） 全文： 内政部 arXiv公司