[论文解读] Modal Fragments

Nick Bezhanishvili, Balder ten Cate+2 more|arXiv (Cornell University)|Mar 5, 2026

Logic, Reasoning, and Knowledge被引用 0

一句话总结

一份把命题逻辑和模态逻辑碎片研究的两个传统统一起来的综述，使用 Post 的格来对表达能力和复杂性进行分类，并报告可学习性结果。

ABSTRACT

We survey systematic approaches to basis-restricted fragments of propositional logic and modal logics, with an emphasis on how expressive power and computational complexity depend on the allowed operators. The propositional case is well-established and serves as a conceptual template: Post's lattice organizes fragments via Boolean clones and supports complexity classifications for standard reasoning tasks. For modal fragments, we then bring together two historically independent lines of investigation: a general framework where modal fragments are parameterized by a basis of "connectives" defined by arbitrary modal formulas (initially proposed and studied by logicians such as Kuznetsov and Ratsa in the 1970s), and the more tractable class of what we call simple modal fragments parameterized by Boolean functions plus selected modal operators, where Post-lattice methods enable systematic decidability and dichotomy results. Along the way, we collect and extend results on teachability and exact learnability from examples for both propositional fragments and simple modal fragments, and we conclude by identifying several open problems.

研究动机与目标

• 通过提出统一框架，将两条历史独立的逻辑碎片研究线路结合起来。
• 综述关于命题逻辑和模态碎片的表达能力与复杂性的关键结果。
• 从命题逻辑和简单模态碎片的示例出发，讨论可学习性与可教性。
• 识别未解决的问题与未来在逻辑碎片研究中的研究方向。

提出的方法

• 回顾一个通用框架，其中模态碎片由由任意模态公式定义的连接词基底参数化。
• 展示并分析由布尔函数以及选定模态运算符参数化的更简单、可处理性更高的简单模态碎片类。
• 利用 Post 的格（布尔克隆）来对碎片的表达性和复杂性进行分类。
• 展示并扩展关于命题和模态碎片的可教性与基于示例的精确可学习性结果。
• 将结果与更广的逻辑框架联系起来，并勾画未来的研究方向。

实验结果

研究问题

• RQ1 碎片的表达能力和计算复杂性如何依赖于允许的运算符集合？
• RQ2 布尔克隆（Post 格）与句法/命题碎片之间的对应关系是什么？
• RQ3 在不同基底下，模态碎片的可判定性与复杂性存在哪些二分法或分类结果？
• RQ4 有哪些可学习性或可教性结果可以移植到或扩展到命题和简单模态碎片？

主要发现

• 两个历史上独立的模态碎片研究线路被整合成一个统一叙事。
• 文献在各种碎片下的推理任务的复杂性方面得出二分型与分类结果。
• 关于命题和简单模态碎片的示例的可教性与精确可学习性结果存在。
• 布尔克隆（Post 格）方法为跨碎片的表达性与复杂性提供系统分析。
• 本综述识别了开放问题与进一步发展 basis-restricted 碎片研究的方向。