Roman Kniazev

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.

[BibT_eX]

[DOI]

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

2023

Simplicial Models for the Epistemic Logic of Faulty Agents.

[BibT_eX]

[DOI]

CoRR, 2023

Semi-Simplicial Set Models for Distributed Knowledge.

[BibT_eX]

[DOI]

LICS, 2023