Roman Kniazev

According to our database, Roman Kniazev authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.

Éric Goubault, Roman Kniazev, Jérémy Ledent

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

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

Roman Kniazev

PhD thesis, 2023

Simplicial Models for the Epistemic Logic of Faulty Agents.

Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

CoRR, 2023

Semi-Simplicial Set Models for Distributed Knowledge.

Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023