Ognjanović Zoran

Доклады и лекции в базе данных Math-Net.Ru

1. Beyond the class of locally finite height Kripke models for provability logic
   Angelina Ilić-Stepić, Z. Ognjanović, Aleksandar Perović
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   10 февраля 2025 г. 16:00   
2. Logics with Probability Operators. Completeness and Decidability
   Z. Ognjanović
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   18 декабря 2023 г. 18:30