David Lehnherr

According to our database, David Lehnherr authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Simplicial Belief.

Christian Cachin, David Lehnherr, Thomas Studer

Proceedings of the Structural Information and Communication Complexity, 2025

2023

Synergistic Knowledge.

Christian Cachin, David Lehnherr, Thomas Studer

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Modal and Justification Logics for Multi-agent Systems (Invited Talk).

Christian Cachin, David Lehnherr, Thomas Studer

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

A Logic of Interactive Proofs.

David Lehnherr, Zoran Ognjanovic, Thomas Studer

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022