2 problems

The paper considers a tableau calculus for the coalgebraic $\mu$-calculus whose inputs may be formula sequents. Tableau-calculus conjecture. The tableau calculus is sound and compl…

A formula is guarded if every fixpoint variable occurs only within the scope of a modal operator; the paper studies a tableau calculus for the coalgebraic $\mu$-calculus, with form…