Can I read Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras on EtoBox?

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras by Forster, Jonas; Schröder, Lutz; Wild, Paul; Beohar, Harsh; Gurke, Sebastian; Messing, Karla is a scholarly article available to read on EtoBox.

What is Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras about?

Coalgebra, as the abstract study of state-based systems, comes naturally equipped with a notion of behavioural equivalence that identifies states exhibiting the same behaviour. In many cases, however, this equivalence is finer than the intended semantics. Particularly in automata theory, behavioural equivalence of nondeterministic automata is essentially bisimilarity, and thus does not coincide with language equivalence. Language equivalence can be captured as behavioural equivalence on the determinization, which is obtained via the standard powerset construction. This construction can be lifted to coalgebraic generality, assuming a so-called Eilenberg-Moore distributive law between the functor termining the type of accepted structure (e.g.\ word languages) and a monad capturing the branching type (e.g.\ nondeterministic, weighted, probabilistic). Eilenberg-Moore-style coalgebraic semantics in this sense has been shown to be essentially subsumed by the more general framework of graded semantics, which is centrally based on graded monads. Graded semantics comes with a range of generic results, in particular regarding invariance and, under suitable conditions, expressiveness of dedic

Author

Forster, Jonas; Schröder, Lutz; Wild, Paul; Beohar, Harsh; Gurke, Sebastian; Messing, Karla

Published

2023

Language

EN