当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
NP Reasoning in the Monotone $μ$-Calculus
arXiv - CS - Logic in Computer Science Pub Date : 2020-02-12 , DOI: arxiv-2002.05075
Daniel Hausmann; Lutz Schröder

Satisfiability checking for monotone modal logic is known to be (only) NP-complete. We show that this remains true when the logic is extended with aconjunctive and alternation-free fixpoint operators as well as the universal modality; the resulting logic -- the aconjunctive alternation-free monotone $\mu$-calculus with the universal modality -- contains both concurrent propositional dynamic logic (CPDL) and the alternation-free fragment of game logic as fragments. We obtain our result from a characterization of satisfiability by means of B\"uchi games with polynomially many Eloise nodes.
更新日期:2020-02-13

 

全部期刊列表>>
化学/材料学中国作者研究精选
ACS材料视界
南京大学
自然科研论文编辑服务
剑桥大学-
中国科学院大学化学科学学院
南开大学化学院周其林
课题组网站
X-MOL
北京大学分子工程苏南研究院
华东师范大学分子机器及功能材料
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug