Roman Kniazev

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Epistemic Logic

Logical Framework

Top Venues

Publications

Éric Goubault, Roman Kniazev, Jérémy Ledent
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL (2024)
Eric Goubault, Roman Kniazev, Jérémy Ledent
A many-sorted epistemic logic for chromatic hypergraphs. CoRR (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-simplicial Set Models for Distributed Knowledge. CoRR (2023)
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-Simplicial Set Models for Distributed Knowledge. LICS (2023)