The next session of the Logica Universalis Webinar will be Wednesday December 14 at 4pm CET.
Speaker:Šejla Dautović http://www.mi.sanu.ac.rs/novi_sajt/members/fulltime/sejla.php Title: A Probabilistic Logic Between LPP1 and LPP2 Abstract: An extension of the propositional probability logic LPP2 given in Ognjanović et al. (Probability Logics. Probability-Based Formalization of Uncertain Reasoning, Theoretical Springer, Cham, Switzerland, 2016) that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete. https://link.springer.com/article/10.1007/s11787-022-00301-z
Associate Organization: Seminar for Mathematical Logic, Belgrade, Serbia Presented by its chairman: Predrag Tanović
Chair: Raja Natarajan Editorial Board Logica Universalis
Everybody is welcome to attend https://www.springer.com/journal/11787/updates/20065848
Jean-Yves Beziau Organizer of LUW and Editor-in-Chief LU http://www.jyb-logic.org/