A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.

Éric Goubault Roman Kniazev Jérémy Ledent

Published in: CSL (2024)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
color images
logical framework
inference rules
multi faceted
dynamic epistemic logic
mathematical theory
formal semantics
computation tree logic
temporal logic
model checker
formal specification
first order logic
image processing