Елена Попова//Логика свидетельств первого порядка со связывающей модальностью Логика в Москве 544 подписчика Скачать
Александр Колпащиков//Неразрешимые суперинтуиционистские исчисления и закон исключённого третьего. Скачать
Серова Дарья//Использование алгебраических моделей для обнаружения метаморфного вредоносного кода Скачать
Ирина Агаджанян//Алгоритмическая сложность монадических полимодальных предикатных логик с равенством Скачать
Павел Разумный//О модальном предикатном исчислении QGL с нефундированными выводами(продолжение) Скачать
Николай Поляков//О канонической рамсеевской теореме Эрдёша и Радо и рамсеевских ультрафильтрах Скачать
Надежда Хорошавкина//Неперечислимая гипотеза Хадвигера и характеризация деревьев с помощью графов. Скачать
Модальная логика и вычислительная сложность. Лекция 12. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 11. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 10. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 9. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 8. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 8. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 7. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 6. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 5. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 4. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 2. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 3. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Модальная логика и вычислительная сложность. Лекция 1. Осень 2022. Михаил Николаевич Рыбаков. Скачать
Чепасов Анатолий//Устранение сечения в исчислении вложенных секвенций для логики доказуемости GLP Скачать
Разумный Павел//Об интерполяционном свойстве Линдона для интуиционистской логики высказываний Скачать
Шкатов Д.П. и Рыбаков М.Н. // Сложность предикатных модальных логик с ограничением на переменные Скачать
Шехтман В.Б. и Шкатов Д.П. // Полупроизведения и произведения модальных логик: некоторые перспективы Скачать
Искандер Калимуллин // Автоматные, примитивно рекурсивные и вычислимые структуры. (29.11.2019) Скачать
Валентин Борисович Шехтман // Бисимуляционные игры и их применение в модальной логике. (18.10.2019) Скачать