Previous work has axiomatised the cardinality operation in relation alge...
We formalise the modal operators from the concurrent dynamic logics of P...
Binary multirelations can model alternating nondeterminism, for instance...
Binary multirelations form a model of alternating nondeterminism useful ...
Binary relations are one of the standard ways to encode, characterise an...