Finite Representability of Semigroups with Demonic Refinement

Robin Hirsch, Jaš Šemrl

Composition and demonic refinement $⊑$ of binary relations are defined by \begin{align*} (x, y)\in (R;S)&\iff \exists z((x, z)\in R\wedge (z, y)\in S) R\sqsubseteq S&\iff…