A many-sorted epistemic logic for chromatic hypergraphs

Open in new window