[Om-announce] A Probabilistic Logic Between LPP1 and LPP2 by Šejla Dautović / LUW December 14, 2022

[jean-yves beziau]

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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20221213/45a53ed4/attachment.htm>