Видеотека: Архив докладов 2024

RUS ENG

Полная версия

ВИДЕОТЕКА

Архив докладов

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва

О финитной аппроксимируемости одного класса предтранзитивных логик Л. В. Дворкин 12 февраля 2024 г. 18:30 г. Москва
О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение) Л. В. Дворкин 19 февраля 2024 г. 18:30 г. Москва
Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем В. С. Секорин 26 февраля 2024 г. 18:30 г. Москва
Modal logics of provability predicates Taishi Kurahashi 4 марта 2024 г. 14:30 г. Москва
Неразрешимость теории алгебр Клини с условиями коммутативности С. Л. Кузнецов 11 марта 2024 г. 18:30 г. Москва
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств Д. С. Шамканов, П. Разумный 18 марта 2024 г. 18:30 г. Москва
Об элементарной теории безатомных вероятностных пространств С. О. Сперанский 25 марта 2024 г. 18:30 г. Москва
Punctual structures, automatic structures and index sets. Part 1 N. A. Bazhenov, I. Sh. Kalimullin 1 апреля 2024 г. 18:30 г. Москва
Punctual structures, automatic structures and index sets. Part 2 N. A. Bazhenov, I. Sh. Kalimullin 8 апреля 2024 г. 18:30 г. Москва
How (not) to Compute the Halting Probability or Validate the Heuristic Principle S. Salehi 15 апреля 2024 г. 18:30 г. Москва
Фильтрации некоторых предтранзитивных логик И. Б. Шапировский 22 апреля 2024 г. 18:30 г. Москва
Categoricity-like properties in the first order realm A. Enayat 13 мая 2024 г. 19:00 г. Москва
Provable well-orders and hyperarithmetical soundness D. Fernández-Duque 21 мая 2024 г. 18:30 г. Москва
Сложность ненормальных логик и логики с подсчетом применения аксиом А. В. Кудинов 27 мая 2024 г. 18:30 г. Москва
Вычислимые линейно упорядоченные структуры М. В. Зубков 16 сентября 2024 г. 16:00 г. Москва
Полнота для модальных предикатных логик V. B. Shehtman 23 сентября 2024 г. 16:00 г. Москва
Алгебры Магари и функции выбора Плотта В. И. Данилов 30 сентября 2024 г. 16:00 г. Москва
Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL Л. В. Дворкин 7 октября 2024 г. 16:00 г. Москва