A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.

ric Goubault, Roman Kniazev, Jrmy Ledent

Browse the full CSL paper archive.