arXiv:2001.04971 [cs.LO]AbstractReferencesReviewsResources
A circular proof system for the hybrid mu-calculus
Published 2020-01-14Version 1
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.
Categories: cs.LO