Abstract
We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models, e......
小提示:本篇文献需要登录阅读全文,点击跳转登录