Logic of subjective probability