  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.
