Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic

We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category. Our aim is to develop a general framework based on indexed categories/fibrations that is common to the aforementioned...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2022-02
Hauptverfasser:	Beohar, H, König, B, Küpper, S, Mika-Michalski, C
Format:	Artikel
Sprache:	eng
Schlagworte:	Equivalence Games Side effects
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!