57 citations · 208 across the 27 of their papers we have counts for
3 papers · 1 filter
Dual Adjunction Between -Automata and Wilke Algebra Quotients
Anton Chernev, Helle Hvid Hansen, Clemens Kupke
-automata and Wilke algebras are formalisms for characterising -regular languages via their ultimately periodic words. -automata read finite representations of ultimately…
A Categorical Approach to Coalgebraic Fixpoint Logic
Ezra Schoen, Clemens Kupke, Jurriaan Rot +1
We define a framework for incorporating alternation-free fixpoint logics into the dual-adjunction setup for coalgebraic modal logics. We achieve this by using order-enriched catego…
Proving Behavioural Apartness
Ruben Turkenburg, Harsh Beohar, Clemens Kupke +1
Bisimilarity is a central notion for coalgebras. In recent work, Geuvers and Jacobs suggest to focus on apartness, which they define by dualising coalgebraic bisimulations. This yi…