Logic with a Probability Semantics - 9781611460117