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