3 papers
cs.LO2023
Simplicial Models for the Epistemic Logic of Faulty Agents
Eric Goubault, Roman Kniazev, Jeremy Ledent +1
In recent years, several authors have been investigating simplicial models, a model of epistemic logic based on higher-dimensional structures called simplicial complexes. In the or…
cs.LO2023
A many-sorted epistemic logic for chromatic hypergraphs
Eric Goubault, Roman Kniazev, Jérémy Ledent
We propose a many-sorted modal logic for reasoning about knowledge in multi-agent systems. Our logic introduces a clear distinction between participating agents and the environment…
cs.LO2023
Semi-simplicial Set Models for Distributed Knowledge
Eric Goubault, Roman Kniazev, Jérémy Ledent +1
In recent years, a new class of models for multi-agent epistemic logic has emerged, based on simplicial complexes. Since then, many variants of these simplicial models have been in…