Predicate and relation liftings for coalgebras with side effects: an ...

Reference

Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic, 2021. arXiv:2110.09911.

Suggested BibTeX entry:

@misc{BKKM21,
    author = {Harsh Beohar and Barbara K{\"o}nig and Sebastian K\"upper and Christina Mika-Michalski},
    note = {arXiv:2110.09911},
    title = {Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic},
    year = {2021}
}

See arxiv.org ...