A logic of interactive proofs. - David Lehnherr; Zoran Ognjanovic; Thomas Studer (J. Log. Comput., 2022)

Modal and Justification Logics for Multi-agent Systems (Invited Talk). - Christian Cachin; David Lehnherr; Thomas Studer (CLAR, 2023)

Simplicial Belief. - Christian Cachin; David Lehnherr; Thomas Studer (SIROCCO, 2025)

Synergistic knowledge. - Christian Cachin; David Lehnherr; Thomas Studer (Theor. Comput. Sci., 2025)