 | Up a level |
Lehnherr, David; Ognjanović, Zoran; Studer, Thomas (2022). A logic of interactive proofs. Journal of logic and computation, 32(8), pp. 1645-1658. Oxford University Press 10.1093/logcom/exac071
Cachin, Christian; Lehnherr, David; Studer, Thomas (October 2023). Synergistic Knowledge. In: Dolev, Shlomi; Schieber, Baruch (eds.) 25th International Symposium on Stabilizing, Safety, and Security of Distributed Systems. Lecture notes in computer science (pp. 552-567). Springer 10.1007/978-3-031-44274-2_41
Cachin, Christian; Lehnherr, David; Studer, Thomas (2023). Modal and Justification Logics for Multi-agent Systems (Invited Talk). In: Herzig, Andreas; Luo, Jieting; Pardo, Pere (eds.) International Conference on Logic and Argumentation, 2023. Lecture Notes in Computer Science: Vol. 14156 (pp. 3-8). Cham: Springer Nature Switzerland 10.1007/978-3-031-40875-5_1
Lehnherr, David; Ognjanović, Zoran; Studer, Thomas (2022). A Logic of Interactive Proofs. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. LFCS 2022. Lecture Notes in Computer Science: Vol. 13137 (pp. 143-155). Springer 10.1007/978-3-030-93100-1_10
