<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">The next session of the Logica Universalis Webinar will be Wednesday December 14 at 4pm CET.<br></div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">Speaker:Šejla Dautović <br></div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><a href="http://www.mi.sanu.ac.rs/novi_sajt/members/fulltime/sejla.php" target="_blank">http://www.mi.sanu.ac.rs/novi_sajt/members/fulltime/sejla.php</a><br><div>Title: A Probabilistic Logic Between LPP1 and LPP2</div><div>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.</div><div><a href="https://link.springer.com/article/10.1007/s11787-022-00301-z" target="_blank">https://link.springer.com/article/10.1007/s11787-022-00301-z</a><br></div><div><br></div><div>Associate Organization: Seminar for Mathematical Logic, Belgrade, Serbia</div><div>Presented by its chairman: Predrag Tanović  <br></div><div><br></div><div>Chair: Raja Natarajan </div><div>Editorial Board Logica Universalis</div><div><br></div><div>Everybody is welcome to attend</div><div><a href="https://www.springer.com/journal/11787/updates/20065848" target="_blank">https://www.springer.com/journal/11787/updates/20065848</a><br></div><div><br></div><div>Jean-Yves Beziau</div><div>Organizer of LUW and Editor-in-Chief LU</div><div><a href="http://www.jyb-logic.org/" target="_blank">http://www.jyb-logic.org/</a><br></div><div><br></div><div><br></div><div><br></div><div><br><br></div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>