A many-sorted epistemic logic for chromatic hypergraphs.

Eric Goubault Roman Kniazev Jérémy Ledent

Published in: CoRR (2023)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
multi faceted
color images
inference rules
dynamic epistemic logic
logical framework
formal semantics
mathematical theory
computation tree logic
temporal logic