Title: Logical foundations of probability