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

von Cachin, Christian
Veröffentlicht in CLAR (5. : 2023 : Hangzhou) Logic and argumentation (2023)

A Logic of Interactive Proofs

von Lehnherr, David
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)