论文标题
基于SAT的模块化技术用于团队语义中的推理任务
Modular SAT-based techniques for reasoning tasks in team semantics
论文作者
论文摘要
我们研究团队语义中逻辑的推理任务的复杂性。我们的主要重点是模型检查的数据复杂性，但我们还为逻辑定义的计数和枚举问题提供了新的结果。我们的方法基于将这些问题模块化减少到各种布尔公式的相应问题中。我们通过几种新的障碍/顽固性结果来说明我们的方法。
We study the complexity of reasoning tasks for logics in team semantics. Our main focus is on the data complexity of model checking but we also derive new results for logically defined counting and enumeration problems. Our approach is based on modular reductions of these problems into the corresponding problems of various classes of Boolean formulas. We illustrate our approach via several new tractability/intractability results.
