#матлог #учёба #спецсеминар

15 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Л.В. Дворкин (МГУ)

PSpace-разрешимость модальных логик древовидных шкал (продолжение — часть 3)

Аннотация:

Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.

Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.

От слушателей предполагается знакомство с основами семантики Крипке.

Ссылки:

[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.

#матлог #спецсеминар #нпммвя

В четверг 16 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского c докладом Евгения Александровича Уланского (Санскриториум) "Устройство санскритской грамматики Панини".

Время: 16.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.

Ссылка для регистрации: https://forms.gle/jTVnJdkxDHt6y8Wr9
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)

Тема: Устройство санскритской грамматики Панини

Анонс:
Древнеиндийский лингвист Панини в IV веке до н. э. составил грамматику санскрита, позже названную "Аштадхьяйи" (буквально "Восьмикнижие"). Это предписательная грамматика, составленная в жанре "сутра" (буквально "нить"), в котором на повествовательную нить словно жемчужины нанизываются краткие ёмкие формулировки правил грамматики, каждую из которых в отдельности также принято называть сутрой. Изложение носит алгоритмический характер, и иногда Панини называют первым в истории программистом.
В докладе будет представлен инвентарь и принципы устройства грамматики Панини, перечислены типы сутр, описаны грамматические темы, затронутые в "Восьмикнижии", и уровни абстракции правил.

#матлог #наука #конференция

В среду 15 апреля 2026 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых учёных "Ломоносов - 2026".

Будут представлены доклады:

18:30-18:45 Зайцева Ульяна Дмитриевна
Применение ε-исчисления для формализации объектных кванторных групп
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1668256/196732/uid833797_report.pdf

18:45-19:00 Рузимов Жавохир Отабекович
Полиномиальные и пунктуальные представления колец и алгебр
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1663018/195418/uid930752_report.pdf

19:00-19:15 Аллеманд Аллан Олегович
Метод Арнольда в топологической теории Галуа
тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1684904/203698/uid494087_report.pdf

19:15-19:30 Байрамян Арман Артурович
О росте свободных бернсайдовых групп
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1670608/197800/uid569902_report.pdf

19:30-19:45 Валинкин Михаил Валерьевич
Реляционные модели исчисления Ламбека с субэкспоенциалом локального сокращения
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1675377/200231/uid1165012_report.pdf

19:45-20:00 Гонзюх Михаил Евгеньевич
Модель индивидуального развития организма
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1668117/196683/uid289095_report.pdf

20:00-20:15 Кондакова Елизавета Григорьевна
Условия обхода роботом с генератором случайных битов целочисленной многомерной решетки
https://lomonosov-msu.ru/file/uploaded/10500/report/request_1672220/198665/uid146215_report.pdf

20:15-20:30 Купцов Тимур Владиславович
Сравнение различных видов полудуплексной коммуникационной сложности
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1671385/198498/uid1164862_report.pdf

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 15 апреля в 14:15.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчик: Елена Попова

Название:
Семантика логики свидетельств первого порядка со связывающей модальностью.

Аннотация:
Доклад будет по совместной работе с Т.Л. Яворской.
Основная особенность логики свидетельств первого порядка заключается в возможности различать два типа утверждений:
“t есть доказательство формулы Ф(x) со свободной переменной x”;
“для конкретного значения x, t есть доказательство формулы Ф(x)”.
В языке модальной логики первого порядка аналогичное различие достигается посредством введения связывающей модальности. В докладе будет рассмотрена логика, объединяющая свидетельские термы и связывающие модальности. Мы определим модели Фиттинга для этой логики, позволяющие учитывать означивание переменных, а также приведем примеры явно построенных моделей. Будет сформулирована теорема о сильной полноте и представлена идея ее доказательства. Спецификой рассматриваемой логики является переопределённое понятие формулы, которое упрощает работу с семантикой.

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 17.04.2026 в 16:20

Докладчик: Елена Попова

Тема: Логики свидетельств. Введение

Аннотация:
Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.

#матлог #учёба #просеминар

💥В пятницу 17 апреля состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: Булевы алгебры (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), online only

20.04.2026, Proof Society Seminar (https://www.proofsociety.org/activities-and-resources/proof-society-seminar/), Albert Visser (Utrecht University, https://www.uu.nl/staff/AVisser): Markov Coding (online talk)

In this talk, I discuss an alternative to coding sequences over arithmetic using the betafunction. We employ a basic insight, going back to Jacob Nielsen, that the monoid of SL_2(Z)-matrices with nonnegative integer coefficients is isomorphic to the free monoid of binary strings.This idea was employed by Andrej Markov jr for metamathematical purposes. The Markov coding allows us to do the first steps of arithmetisation in an entirely quantifier-free way. We discuss three basic results. First, the most important good properties that we have for the Markov coding over the integers generalise to arbitrary discretely ordered commutative rings. The non-trivial property in this context is Tarski’s Editor Property. This insight yields an alternative proof that PA^- is sequential. If time allows, we will have a brief look at how the coding behaves in some salient rings. Secondly, we have a variant of the incompleteness result by Amala Bezboruah and John Shepherdson. PA^- plus all true universal sentences does not prove the consistency of an extremely weak theory when proofs are coded Markov-style. Thirdly, we do not seem to get Löb’s Logic over PA^- when we use the Markov coding, but we still get a decent provability logic. For example, we have the uniqueness of modalised fixed points. So, e.g., modulo provable equivalence, there is just one Gödel sentence. A nice puzzle: I am more or less sure that the consistency statement for PA^- is not equivalent to its Gödel sentence, but I do not currently have a counterexample.

The Proof Society Seminar features leading researchers in proof theory and related areas of logic. Talks are held online via Zoom, usually on Mondays, approximately once per month. They begin at 13:00 UTC and last up to 75 minutes, followed by questions.

#матлог #учёба #просеминар

В дополнение к объявлению о просеминаре 17 апреля выкладываем листочек с задачами!

📝 Булевы алгебры.pdf

#матлог #учёба #спецсеминар

22 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

А. С. Закиров, С. А. Славнов, М. А. Чурилов

Совместная логика задач и высказываний и поляризованные логики

Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.

Докладчик: Сергей Славнов.

#матлог #не_мехмат #ВШЭ

57-е заседание Математического семинара ФКН состоится 24 апреля в 18:10.

На семинаре выступит Станислав Сперанский с докладом "Элементарные теорий классов вероятностных пространств и их сложность".

Доклад будет посвящён элементарным теориям различных классов вероятностных пространств (конечных, дискретных, безатомных) и сопутствующим алгоритмическим проблемам. Более того, будут рассмотрены «слабые» пространства, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными: они используются в семантике многих вероятностных логических систем, возникающих в теоретической информатике. Стоит отметить, что хотя основное внимание будет сосредоточено на языках, близких к традиционно изучаемым элементарным языкам полей и решёток, у практически всех сопутствующих результатов имеются естественные аналоги для «первопорядковых логик вероятности», которые возникли в работах Дж. Хальперна и чьи варианты продолжают активно изучаться.

Рассказ будет ориентирован на широкую математическую аудиторию. В частности, понятия элементарного языка и теории будут пояснены на примерах, связанных с алгоритмическими проблемами над кольцами и полями, включая 10-ую проблему Гильберта. Кроме того, будет дано определение сводимости посредством вычислимых функций, используемой для сравнения различных теорий по сложности, и приведены примеры проблем, соответствующих некоторым часто возникающим сложностным классам, или «степеням (алгоритмической) неразрешимости».

Семинар пройдет по адресу Покровский бульвар 11, аудитория R306.

Информация о семинаре и аннотация предстоящего доклада: https://cs.hse.ru/seminatfkn/

Регистрация: https://cs.hse.ru/big-data/polls/788384338.html

#матлог #наука #спецсеминар

В четверг 23 апреля 2026 года состоится заседание научно-образовательного семинара КОЛМОГОРОВСКИЕ БЕСЕДЫ

Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта, оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.

С лекцией «О понятии Интеграла» выступит член-корреспондент РАН Евгений Витальевич Щепин

Заседание состоится в 17:00 в Библиотеке А.Н.Колмогорова (ауд. 439-440, 4 этаж Лабораторного корпуса А на территории Биофака МГУ)

22 апреля в 18:10 состоится 120-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Семантика и синтаксис абстрактного языка.

Докладчик: В.В. Булыгин.

Аннотация: Языков много, но есть общее, что присуще им всем. Это общее (абстрактный язык) - суть универсалии (термин лингвистики). С другой стороны, большая языковая модель (LLM) оперирует векторами. Как именно группируются вектора в языковые универсалии - тема доклада.
_____________________

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1150879364.html

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 22 апреля в 14:15.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com

Докладчик: Андрей Кудинов

Название: Окрестностная полнота некоторых модальных предикатных логик

Аннотация.

Доклад посвящен окрестностной семантике (neighbourhood semantics) для предикатных модальных логик. Хорошо известны результаты о полноте относительно окрестностных шкал с постоянными областями для логик QK и QS4. В докладе будет доказана полнота для более широкого класса логик: так называемых направленных предтранзитивных модальных предикатных логик (определение будет дано в докладе). Результаты о полноте для модальных предикатных логик остаются на данный момент довольно разрозненными и теоремы типа теоремы Салквиста пока не удается доказать. Для направленных предтранзитивных логик была известна полнота относительно шкал Крипке с расширяющимися областями. Мы покажем, что для этих логик в окрестностной семантике можно обойтись постоянным областями, при этом аксиома Баркан, которая для шкал Крипке соответствует постоянным областям, в окрестностных шкалах опровергается даже на шкалах с постоянными областями.

#матлог #учёба #просеминар

💥В пятницу 24 апреля состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: Булевы алгебры - продолжение (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✨ Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 Булевы алгебры.pdf