On Finite Convergence of Fixpoints in the Modal Mu-Calculus

We investigate a word-structure with infinite bisimulation quotient that guarantees finite convergence of all fixpoints definable in the modal mu-calculus. To underline that this result is caused by the logic and not the specific structure we show that an extension of the modal mu-calculus, called the higher-order fixpoint logic, achieves non-finite convergence over the same word-structure.

Authors

• Marco Sälzer

Keywords

No keywords are indexed for this paper.