Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва
-
Реляционные модели для исчисления Ламбека с субэкспоненциалом нелокального сокращения
М. В. Валинкин, С. Л. Кузнецов
23 декабря 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Алгоритмическая неразрешимость проблемы вложения алгебраических многообразий
А. Я. Белов
16 декабря 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Definable Combinatorial Principles in Fragments of Arithmetic
Wang Wei
2 декабря 2024 г. 16:00
г. Москва, Zoom
-
Two Perspectives on Recursion and Induction: Modal Provability Logic and Fixed-Point Logics
Johan van Benthem
25 ноября 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Выразительная сила категориальных грамматик с однозначным присвоением категорий
М. Е. Вишникин
28 октября 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Higher-arity algebras and hypergraphs
Carlos Zapata-Carratalá
21 октября 2024 г. 18:00
г. Москва, Online
-
Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL
Л. В. Дворкин
7 октября 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Алгебры Магари и функции выбора Плотта
В. И. Данилов
30 сентября 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Полнота для модальных предикатных логик
V. B. Shehtman
23 сентября 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Вычислимые линейно упорядоченные структуры
М. В. Зубков
16 сентября 2024 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Сложность ненормальных логик и логики с подсчетом применения аксиом
А. В. Кудинов
27 мая 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Provable well-orders and hyperarithmetical soundness
D. Fernández-Duque
21 мая 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Categoricity-like properties in the first order realm
A. Enayat
13 мая 2024 г. 19:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Фильтрации некоторых предтранзитивных логик
И. Б. Шапировский
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 + онлайн
-
Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
8 апреля 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
1 апреля 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Об элементарной теории безатомных вероятностных пространств
С. О. Сперанский
25 марта 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
Д. С. Шамканов, П. Разумный
18 марта 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Неразрешимость теории алгебр Клини с условиями коммутативности
С. Л. Кузнецов
11 марта 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Modal logics of provability predicates
Taishi Kurahashi
4 марта 2024 г. 14:30
г. Москва, online
-
Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем
В. С. Секорин
26 февраля 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение)
Л. В. Дворкин
19 февраля 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О финитной аппроксимируемости одного класса предтранзитивных логик
Л. В. Дворкин
12 февраля 2024 г. 18:30
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
© , 2025
|
