Bayesian logic