1 citations · 3 across the 4 of their papers we have counts for
5 papers
Witnesses for Fixpoint Games on Lattices
Barbara König, Karla Messing
We construct witnesses that can be used to derive strategies in fixpoint games and provide proof that the least fixpoint of a function is either above or not below some given bound…
Case Studies in Generalized Kantorovich-Rubinstein Duality
Paul Wild, Lutz Schröder, Pedro Nora +3
The classical Kantorovich-Rubinstein duality guarantees coincidence between metrics on the space of probability distributions defined on the one hand via transport plans (couplings…
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…
Hennessy-Milner Theorems via Galois Connections
Harsh Beohar, Sebastian Gurke, Barbara König +1
We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalenc…