Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
scientific article; zbMATH DE number 7628064
scientific article