Ognjanović Zoran

Presentations in Math-Net.Ru

1. Beyond the class of locally finite height Kripke models for provability logic
   Angelina Ilić-Stepić, Z. Ognjanović, Aleksandar Perović
   Seminars "Proof Theory" and "Logic Online Seminar"
   February 10, 2025 16:00   
2. Logics with Probability Operators. Completeness and Decidability
   Z. Ognjanović
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 18, 2023 18:30