Depth-Bounded Probability Logic: A Preliminary Investigation