2 problems

A fixpoint formula may use either vectorial fixpoints, which compute mutually recursive systems of fixpoint equations, or non-vectorial fixpoints, which use nested individual fixpo…

Let $\gamma$ be a modal logic formula, and consider the procedure that first rewrites $\gamma$ into a disjunction of pure $\nabla$-formulas and then constructs the corresponding ax…