Наредни састанак Семинара биће одржан у петак, 10. октобра 2025, у сали 301ф Математичког института САНУ са почетком у 14:15. У питању је заједнички састанак са Семинаром за логику.

Предавач: Stanislav O. Speranski, Steklov Mathematical Institute of RAS

Наслов предавања: ON THE COMPLEXITY OF FIRST ORDER LOGICS OF PROVABILITY

Апстракт:
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.

Напомена: Предавања можете пратити на даљину. Све информације су доступне на страници:
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r