12 citations · 12 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
A logic of interactive proofs
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…
cs.LO2019
A First-Order Logic for Reasoning about Knowledge and Probability
Siniša Tomović, Zoran Ognjanović, Dragan Doder
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The propose…