Logical foundations of stat. inference door Kyburg