Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Ognjanović Zoran https://www.mathnet.ru/rus/person200899 Список публикаций на Google Scholar https://mathscinet.ams.org/mathscinet/MRAuthorID/351806 Доклады и лекции в базе данных 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