Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za OKTOBAR 2023.

Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 14h, pod rukovodstvom Profesora Miodraga Raskovica.

Video prenos predavanja možete pratiti putem linka:
https://miteam.mi.sanu.ac.rs/asset/kdyH6izdfFkxcpe8P/?group=kdyH6izdfFkxcpe8P
Ukoliko želite da aktivno učestvujete (u smislu vaših eventualnih pitanja ili komentara) možete se prijaviti putem registracione forme na ovom linku:
https://miteam.mi.sanu.ac.rs/asset/gvS3adhP2bTJ8ZuDT

 

ČETVRTAK, 26.10.2023. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Zoran Ognjanović, Mathematical Institute of the Serbian Academy of Sciences and Arts
THE LOGIC ILP FOR INTUITIONISTIC REASONING ABOUT PROBABILITY
We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models, each possible world is equipped with a structure of the form (H, m) that needs not be a probability space. More precisely, though H needs not be a Boolean algebra, the corresponding monotone function m (we call it measure) maps H into the unit interval of rational numbers and satisfies monotonicity and additivity. ILP is not compact. In order to obtain a strong complete axiomatization, we introduce an infinitary inference rule with a countable set of premises. The main technical results are the proofs of strong completeness and decidability. A tableau procedure for ILP is presented.

---

Beograd, 2023.

---