Roman Kniazev

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.
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).
PhD thesis, 2023

Simplicial Models for the Epistemic Logic of Faulty Agents.
CoRR, 2023

Semi-Simplicial Set Models for Distributed Knowledge.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023


  Loading...