加载中…
2018-05-18
Multi-type display calculus for Propositional Dynamic Logic
Sabine FrittellaGiuseppe GrecoAlexander KurzAlessandra Palmigiano
文献摘要
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本