12 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
David Lehnherr, Zoran Ognjanovic, Thomas Studer
We introduce the probabilistic two-agent justification logic IPJ, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of…