1 citations · 3 across the 8 of their papers we have counts for
3 papers · 1 filter
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
Harsh Beohar, Sebastian Gurke, Barbara König +4
We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlie…
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Jonas Forster, Lutz Schröder, Paul Wild +3
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…
Quantitative Graded Semantics and Spectra of Behavioural Metrics
Jonas Forster, Lutz Schröder, Paul Wild +4
Behavioural metrics provide a quantitative refinement of classical two-valued behavioural equivalences on systems with quantitative data, such as metric or probabilistic transition…