A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
Dragan V. Doder · Publications de l Institut Mathematique · 2011
We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic presented here.