David Lehnherr

According to our database¹, David Lehnherr authored at least 3 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Synergistic Knowledge.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2022

A logic of interactive proofs.

[BibT_eX]

[DOI]

J. Log. Comput., 2022