Naredni sastanak Seminara biće održan u petak, 10. oktobra 2025, u sali 301f Matematičkog instituta SANU sa početkom u 14:15. U pitanju je zajednički sastanak sa Seminarom za logiku.

Predavač: Stanislav O. Speranski, Steklov Mathematical Institute of RAS

Naslov predavanja: ON THE COMPLEXITY OF FIRST ORDER LOGICS OF PROVABILITY

Apstrakt:
The talk will be concerned with the result that, in terms of closure ordinals, many infinitary calculi for ‘first-order’ logics of probability — i.e., for languages similar to those studied by M. Abadi and J. Halpern (1994) — are as hard as possible: the corresponding closure ordinals coincide with the least non-constructive ordinal. In particular, this result can be applied to various proof systems developed by Z. Ognjanović and his colleagues.

Napomena: Predavanja možete pratiti na daljinu. Sve informacije su dostupne na stranici:
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r