David Lehnherr

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Cut Elimination

Top Venues

J. Log. Comput.

Publications

Christian Cachin, David Lehnherr, Thomas Studer
Synergistic Knowledge. CoRR (2024)
Christian Cachin, David Lehnherr, Thomas Studer
Synergistic Knowledge. SSS (2023)
Christian Cachin, David Lehnherr, Thomas Studer
Modal and Justification Logics for Multi-agent Systems (Invited Talk). CLAR (2023)
David Lehnherr, Zoran Ognjanovic, Thomas Studer
A logic of interactive proofs. J. Log. Comput. 32 (8) (2022)
David Lehnherr, Zoran Ognjanovic, Thomas Studer
A Logic of Interactive Proofs. LFCS (2022)
David Lehnherr, Zoran Ognjanovic, Thomas Studer
A logic of interactive proofs. CoRR (2021)