Semi-Simplicial Set Models for Distributed Knowledge. - Éric Goubault; Roman Kniazev; Jérémy Ledent; Sergio Rajsbaum (LICS, 2023)

Simplicial Models for the Epistemic Logic of Faulty Agents. - Eric Goubault; Roman Kniazev; Jérémy Ledent; Sergio Rajsbaum (CoRR, 2023)

On geometric models of epistemic logic. (Modèles géométriques de la logique épistémique). - Roman Kniazev (2023)

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. - Éric Goubault; Roman Kniazev; Jérémy Ledent (CSL, 2024)

A categorical and logical framework for iterated protocols. - Eric Goubault; Bernardo Hummes Flores; Roman Kniazev; Jérémy Ledent; Sergio Rajsbaum (CoRR, 2025)