David Lehnherr

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Synergistic knowledge.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2025

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