A Fixed-Parameter Study on Propositional Dynamic Logic
CoRR(2024)
摘要
Since its establishment, propositional dynamic logic (PDL) has been a subject
of intensive academic research and frequent use in the industry. We have
studied the complexity of some PDL problems and in this paper, we show results
for some special cases of PL and PDL.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要