TY - JOUR
AU1 - Kokkinis, Ioannis
AU2 - Maksimovi, Petar
AU3 - Ognjanovi, Zoran
AU4 - Studer, Thomas
AB - 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.
TI - First steps towards probabilistic justification logic
JF - Logic Journal of the IGPL
DO - 10.1093/jigpal/jzv025
DA - 2015-08-12
UR - https://www.deepdyve.com/lp/oxford-university-press/first-steps-towards-probabilistic-justification-logic-0rWAlP5DwI
SP - 662
EP - 687
VL - 23
IS - 4
DP - DeepDyve
ER -