Finitary coalgebraic logics door C.A. Kupke