Predicate-lifting-based modalities can be embedded into
coalgebraic logics of varying degrees of expressiveness. Our
expression language introduced in Section  will live
inside the coalgebraic \(\mu \) -calculus [1]}, more
precisely its conjunctive fragment [2]}. We
defer details to Section .
