The Logic ILP for Intuitionistic Reasoning About Probability

Ilic-Stepic, A; Ognjanovic, Z; Perovic, A

Ilic-Stepic, A (通讯作者),Serbian Acad Arts & Sci, Math Inst, Kneza Mihaila 36, Belgrade 11000, Serbia.

STUDIA LOGICA, 2023; ():

Abstract

We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models, e......

Full Text Link