Finitary coalgebraic logics by C.A. Kupke