A circular proof system for the hybrid mu-calculus

01/14/2020
by   Sebastian Enqvist, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset