David Lehnherr, Zoran Ognjanovic, Thomas Studer. A logic of interactive proofs. Journal of Logic and Computation, 32(8):1645-1658, 2022. [doi]
@article{LehnherrOS22-0,
title = {A logic of interactive proofs},
author = {David Lehnherr and Zoran Ognjanovic and Thomas Studer},
year = {2022},
doi = {10.1093/logcom/exac071},
url = {https://doi.org/10.1093/logcom/exac071},
researchr = {https://researchr.org/publication/LehnherrOS22-0},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {32},
number = {8},
pages = {1645-1658},
}