research
∙
09/02/2021
A logic of interactive proofs
We introduce the probabilistic two-agent justification logic IPJ, a logi...
share
research
∙
01/21/2019
A First-Order Logic for Reasoning about Knowledge and Probability
We present a first-order probabilistic epistemic logic, which allows com...
research
∙
09/22/2017
