论文标题
混合MU-Calculus的圆形验证系统
A circular proof system for the hybrid mu-calculus
论文作者
论文摘要
我们为混合MU-Calculus提供了一个圆形且无剪裁的验证系统，并证明了其健全性和完整性。该系统使用名称进行FixPoint展开，例如先前由Stirling开发的MU-Calculus的圆形验证系统。
We present a circular and cut-free proof system for the hybrid mu-calculus and prove its soundness and completeness. The system uses names for fixpoint unfoldings, like the circular proof system for the mu-calculus previously developed by Stirling.
