research
∙
08/01/2023
A many-sorted epistemic logic for chromatic hypergraphs
We propose a many-sorted modal logic for reasoning about knowledge in mu...
research
∙
03/27/2023