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.

中文翻译：

---

混合 mu 演算的循环证明系统

我们为混合 mu 演算提出了一个循环和无切割的证明系统，并证明了它的健全性和完整性。该系统使用固定点展开的名称，例如斯特林先前开发的用于 mu 演算的循环证明系统。