54 citations · 312 across the 36 of their papers we have counts for
10 papers · 1 filter
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…
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…
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…
Algebraic coherent confluence and higher globular Kleene algebras
Cameron Calk, Eric Goubault, Philippe Malbos +1
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleen…
A dynamic epistemic logic analysis of the equality negation task
Eric Goubault, Marijana Lazic, Jeremy Ledent +1
In this paper we study the solvability of the equality negation task in a simple wait-free model where processes communicate by reading and writing shared variables or exchanging m…
Directed Homotopy in Non-Positively Curved Spaces
Eric Goubault, Samuel Mimram
A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of pos…