Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Distributed Knowledge in Simplicial Models
Ãric Goubault, Jérémy Ledent, Sergio Rajsbaum
The usual semantics of multi-agent epistemic logic is based on Kripke models, defined in terms of binary relations on a set of possible worlds. Recently, there has been a growing i…
cs.LO2025
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, Eric Goubault +2
In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with…
cs.LO2025
A categorical and logical framework for iterated protocols
Eric Goubault, Bernardo Hummes Flores, Roman Kniazev +2
In this article, we show that the now classical protocol complex approach to distributed task solvability of Herlihy et al. can be understood in standard categorical terms. First,…