|
СЕМИНАРЫ |
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
|
|||
|
Инфинитарное исчисление для первопорядковой вероятностной логики Огняновича Никита Лукашов Национальный исследовательский университет "Высшая школа экономики", г. Москва |
|||
Аннотация: В своём докладе я расскажу о первопорядковой логике с вероятностными операторами, обозначаемой Доклад основан на статье: Z. Ognjanović, A. Ilić-Stepić. Logics with probability operators. In Z. Ognjanović (ed.), Probabilistic Extensions of Various Logical Systems, pp. 1–35. Springer, 2020. |