First steps towards probabilistic justification logic | OUP Journals & Magazine | IEEE Xplore