Ognjanović Zoran

Presentations in Math-Net.Ru

1. Logics with Probability Operators. Completeness and Decidability
   Z. Ognjanović
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 18, 2023 18:30