How to Fix It: Using Fixpoints in Different Contexts

Abstract In this note we discuss the expressive power of μ -calculi. We concentrate on those that are extensions of propositional modal logics with a fixpoint operator. The objective is to try to match the expressive power of monadic second-order logic. We consider different kinds of models: from trees and transition systems up to traces and timed systems.

Authors

• Igor Walukiewicz

Keywords

No keywords are indexed for this paper.