TY  - RPRT
TI  - A many-sorted epistemic logic for chromatic hypergraphs
AU  - Eric Goubault
AU  - Roman Kniazev
AU  - Jérémy Ledent
PY  - 2023
UR  - https://arxiv.org/abs/2308.00477
ID  - 2308.00477
ER  -