Roman Kniazev

Publications

  1. A many-sorted epistemic logic for chromatic hypergraphs
    w/ Eric Goubault and Jérémy Ledent
    arxiv published
    accepted to CSL'24

  2. Semi-simplicial Set Models for Distributed Knowledge
    w/ Eric Goubault, Jérémy Ledent and Sergio Rajsbaum
    arxiv published
    accepted to LICS'23

Talks

  1. Knowledge in simplicial sets and hypergraphs
    Télécom Paris

  2. Simplicial models for epistemic logic (sprinkled with concurrency)
    Ipomset project online seminar

  3. Hypergraphs for knowledge
    Dagstuhl seminar 23272 (05/07/2023)
    slides

  4. Semi-simplicial set models for distributed knowledge (and beyond)
    DALGO seminar (04/05/2023)

  5. Chromatic semi-simplicial set model for group knowledge
    Journées LHC 2022 (13/10/2022)
    slides

  6. (Epistemic) modal logic from the topos point of view
    Category theory seminar at LIPN, Paris Nord (17/06/2022)
    slides

Thesis

On geometric models of epistemic logic pdf