Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Ognjanović, Zoran
Statistics Math-Net.Ru
Talks:
2
Number of views:
This page:
270
Talk pages:
1350
Video records:
136
https://www.mathnet.ru/eng/person200899
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/351806
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
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2026