Isaac Levi Probability Logic and Logical Probability. 2007 Formal Models of Belief Change in Rational Agents http://drops.dagstuhl.de/opus/volltexte/2007/1210 conf/dagstuhl/2007P7351 db/conf/dagstuhl/P7351.html#Levi07