First steps towards probabilistic justification logic | UPT Perpustakaan UHAMKA