Abstract
We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic (PDL). The intended application of t......
小提示:本篇文献需要登录阅读全文,点击跳转登录