Predicate and relation liftings and modal logics for coalgebras with ...

Reference

Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Predicate and relation liftings and modal logics for coalgebras with side effects. In Proc. of CMCS '22. to appear, 2022.

Suggested BibTeX entry:

@inproceedings{BKKM22,
    author = {Harsh Beohar and Barbara K{\"o}nig and Sebastian K\"upper and Christina Mika-Michalski},
    booktitle = {Proc. of CMCS '22},
    publisher = {to appear},
    title = {Predicate and relation liftings and modal logics for coalgebras with side effects},
    year = {2022}
}

This work is not available online here.