大卫·莱纳;Ognjanović，佐兰;托马斯·施图德 交互式证明的逻辑。 （英语） Zbl 07638205号 J.日志。计算。 32，第8期，1645-1658（2022）. 摘要：我们介绍了概率双代理证明逻辑（mathsf{IPJ}），在该逻辑中，我们可以推理执行交互证明的代理。为了研究（mathsf{IPJ}）中概率的增长率，我们提出了一种对某些可忽略函数进行参数化的新方法。此外，我们的方法引入了零知识证明的新概念。 引用于1文件 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词：交互式证明系统;零知识证明;认知逻辑;证明逻辑;概率逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.Lehnherr}等人，J.Log。计算。32，第8号，1645--1658（2022；Zbl 07638205） 全文： DOI程序 arXiv公司