54 citations · 312 across the 36 of their papers we have counts for
1 paper · 2 filters
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.…