We initiate the study of the complexity-theoretic properties of convex logics in team semantics. We focus on the extension of classical propositional logic with the nonemptiness atom \( \textsc {ne}\) , a logic known to be both convex and union closed. We show that the satisfiability problem for this logic is \(\textrm{NP}\) -complete, that its validity problem is \(\textrm{coNP}\) -complete, and that its model-checking problem is in \(\textrm{P}\) .

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex

  • Aleksi Anttila,
  • Juha Kontinen,
  • Fan Yang

摘要

We initiate the study of the complexity-theoretic properties of convex logics in team semantics. We focus on the extension of classical propositional logic with the nonemptiness atom \( \textsc {ne}\) , a logic known to be both convex and union closed. We show that the satisfiability problem for this logic is \(\textrm{NP}\) -complete, that its validity problem is \(\textrm{coNP}\) -complete, and that its model-checking problem is in \(\textrm{P}\) .