A logic of interactive proofs

DOI10.1093/logcom/exac071OpenAlexW3198454556WikidataQ115037471 ScholiaQ115037471MaRDI QIDQ5872872

David Lehnherr, Thomas Studer, Zoran Ognjanović

Publication date: 4 January 2023

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exac071

zbMATH Keywords

epistemic logicjustification logicprobabilistic logiczero-knowledge proofinteractive proof system

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

Modal and justification logics for multi-agent systems (invited talk)

This page was built for publication: A logic of interactive proofs