43 citations · 305 across the 30 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Logic-Induced Bisimulations
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
We define a new logic-induced notion of bisimulation (called -bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show t…
cs.LO2020
Completeness of Nominal PROPs
Samuel Balco, Alexander Kurz
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that…