First steps towards probabilistic justification logic
Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, Thomas Studer · Logic Journal of IGPL · 2015
In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.