Модальная логика 2021 №15 Формулы Салквиста. Их элементарность. Алгоритм ван Бентема | Евгений Золин
2021.03.12 Локально элементарные формулы, допустимые операции над ними: конъюнкция, навешивание необходимости ...
Evgeny Zolin
Модальная логика 2021 №18 Следование из гипотез. Локально, глобально, сильно полные логики | Е.Золин
2021.04.02 Локальное и глобальное следование модальной формулы A из множества модальных формул Г над ...
Evgeny Zolin
Модальная логика 2021 №07. Теорема Макинсона. Табличные логики. Критерий Чагрова | Евгений Золин
2020.11.06 Теорема Макинсона. Критерий Чагрова табличности логики. Конечная аксиоматизируемость логики всякой ...
Evgeny Zolin
Модальная логика 2021 №14. Эквиваленты 1 и 2 порядка модальных формул. Формулы Салквиста | Е. Золин
2021.03.05 Теория соответствия (на шкалах) модальных формул и формул первого порядка. Первопорядковые и ...
Evgeny Zolin
Введение в неклассические логики, лекция 3. Модальная логика
Факультатив ФКН ВШЭ. 15 февраля 2021.
George Bronnikov
Модальная логика 2021 №02. Логика K: синтаксис, семантика, аксиомы. 15 традиционных логик | Е. Золин
2020.10.02 Экскурс в логику высказываний: формулы, оценки переменных, тавтологии, исчисление высказывание (в двух ...
Evgeny Zolin
Алексей Семенов. Лекция 5. Модальная логика, сентябрь 2022
Введение в математическую логику и теорию алгоритмов. Лекции на 2-м курсе мехмата МГУ, осень 2022 года ...
Алексей Семёнов
Модальная логика 2021 №17 Локальная, глобальная выводимость из гипотез. Теорема о дедукции | Е.Золин
2021.03.26 Решетка нормальных модальных логик. Критерий Тарского конечной аксиоматизируемости (применительно к ...
Evgeny Zolin
Модальная логика 2021 №08. Формулы Янкова - Файна. Критерий ван Бентема. Изоморфные шкалы | Е. Золин
2020.11.13 Формулы Янкова-Файна. Критерий ван Бентема модальной определимости классов конечных транзитивных ...
Evgeny Zolin
Модальная логика 2021 №04. Модальные (i,j,m,n)-формулы – элементарные и канонические | Евгений Золин
2020.10.16 Примеры канонических модальных формул и логик: (i,j,m,n)-формулы (обобщения формулы Чёрча – Россера), ...
Evgeny Zolin
Модальная логика 2021 №11. Грамматические логики. Разрешимость регулярных модальных логик | Е. Золин
2020.12.04 Грамматические модальные логики. Грамматики (системы переписывания строк, string rewriting systems, ...
Evgeny Zolin
Модальная логика 2021 №06. p-морфизм моделей. Порожденная подмодель. Логики Triv и Ver | Е. Золин
2020.10.30 Модальные морфизмы (p-морфизмы) моделей и шкал. Порожденные подмодели и подшкалы. Модальные ...
Evgeny Zolin
Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики
0:00:19 1. Описание 0:12:31 2. Обратная импликация 0:17:22 3. Пример 0:20:34 4. Теорема 0:31:31 5. Логика знаний Ссылки ...
teach-in
Доказуемость и модальная логика [3] // Лев Беклемишев
Классическая логика высказываний исходит из предположения о том, что любые высказывания либо истинны, либо ложны ...
∀ x, y, z channel
Модальная логика 2021 №22 Свойства ультра-расширения модели. Теорема Гольдблатта-Томасона | Е. Золин
2021.04.30 Свойства ультра-расширения модели Крипке: модальная насыщенность, модальная компактность.
Evgeny Zolin
Доказуемость и модальная логика [2] // Лев Беклемишев
Классическая логика высказываний исходит из предположения о том, что любые высказывания либо истинны, либо ложны ...
∀ x, y, z channel
Модальная логика 2021 №20. Инфинитарная модальная логика. Модально насыщенная модель | Евгений Золин
2021.04.16 Инфинитарные модальные формулы со счетными конъюнкциями (и дизъюнкциями). Некомпактность.
Evgeny Zolin
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1
0:00:09 1. Продолжение доказательства теоремы из прошлой лекции 0:07:43 2. Лемма 12.1 О подстановке термов 0:14:29 ...
teach-in
Модальная логика 2021 №09. Разрешимые логики. Метод конечной канонической модели | Евгений Золин
2020.11.20 Разрешимые и перечислимые модальные логики. Теорема Крейга о рекурсивной аксиоматизируемости всякой ...
Evgeny Zolin
Модальная логика 2021 №10. Фильтрация. Логики, её допускающие. n-транзитивное замыкание | Е. Золин
2020.11.27 Фильтрация модальных логик. Лемма о фильтрации. Модальная различимость фильтрации. Совпадение ...
Evgeny Zolin
Евгений Золин. Кратко о модальной логике и логике описания понятий (2021)
Видео-ролик записан для студентов 2-го курса мехмата, раздумывающих над выбором кафедры и научного руководителя.
Evgeny Zolin
Лурье В.М. Модальная логика времени в естеств. языке
Доклад на конференции «Аналитическая философия: проблемы и перспективы развития в России» (СПбГУ, 28-31 мая ...
VIKTOR GORBATOV
Модальная логика 2021 №16. Модально насыщенные модели Крипке. Теорема Файна о каноничности | Е.Золин
2021.03.19 Модально насыщенные и модальные компактные модели Крипке. Каноническая модель, её насыщенность и ...
Evgeny Zolin
Модальная логика 2021 №19. Сильная полнота логики над классом её (конечных) шкал Крипке | Е. Золин
2021.04.09 Локальное и глобальное следование над классом шкал. Они компактны (одновременно) тогда и только тогда, ...
Evgeny Zolin
1/2 13.11.19 Валентин Шехтман Модальная логика, топология и симплициальные множества
Модальная логика, топология и симплициальные множества Аннотация: В докладе будет рассказано о некоторых связях ...
Alex Dunaykin
Модальная логика и вычислительная сложность. Лекция 1. Осень 2022. Михаил Николаевич Рыбаков.
Первая лекция спецкурса "Модальная логика и вычислительная сложность", читавшегося Михаилом Николаевичем ...
Логика в Москве
Модальная логика 2020 № 07. Аксиоматика модальной логики конечной транзитивной шкалы | Евгений Золин
2020.04.17. Характеристическая формула Янкова–Файна для конечной транзитивной шкалы Крипке с корнем ...
Evgeny Zolin
Модальная логика 2021 №13. Соответствие модальных и первопорядковых формул на шкалах | Евгений Золин
2021.02.26 Теория соответствия (на шкалах) модальных формул и формул первого порядка. Примеры элементарных ...
Evgeny Zolin
Модальная логика 2021 №12. Бисимуляция. Бисимуляционная игра. Характеристическая формула | Е. Золин
2020.12.11 Бисимуляция. Бисимулирующие отмеченные модели модально эквивалентны. Для моделей с конечным ...
Evgeny Zolin
Модальная логика 2021 №03. Теорема о полноте логики K. Канонические логики и формулы | Евгений Золин
2020.10.09 Каноническая модель непротиворечивой нормальной модальной логики L. В нашем изложении точками этой ...
Evgeny Zolin
Модальная логика 2021 №05. Полные по Крипке логики. Несвязная сумма и p-морфизм моделей | Е. Золин
2020.10.23 Полные по Крипке модальные логики (эквивалентные определения). Несвязная сумма (или непересекающееся ...
Evgeny Zolin
ЛОП (3 раздел - Модальная логика) 1 лекция 28.10.2020
fitNSU
Модальная логика 2021 №21. Фильтр, ультрафильтр. Ультра-расширение модели и шкалы Крипке | Е. Золин
2021.04.23 Фильтры и ультрафильтры. Главные и неглавные фильтры. Лемма: Всякое центрированное семейство ...
Evgeny Zolin
Беседы о логике. Часть 1 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп
Как зарождалась логика и какой она бывает? Что такое философская и математическая логика и чем они различаются?
НаукаPRO
Доказуемость и модальная логика [4] // Лев Беклемишев
Классическая логика высказываний исходит из предположения о том, что любые высказывания либо истинны, либо ложны ...
∀ x, y, z channel
Модальные логики // Алексей Семёнов
Основные достижения математической логики относятся к математическим исследованиям математических рассуждений ...
∀ x, y, z channel
Лекция 13: Логика предикатов
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/13859/1256/lecture/23990.
НОУ ИНТУИТ
В. Б. Шехтман – Логики предикатов, лекция 8. Модальная логика предикатов
00:00 – Определение игры Эренфойхта 09:35 – Определение n-эквивалентности 14:35 – Теорема об игре Эренфойхта и ...
Daniel Rogozin
ЛОП (3 раздел - Модальная логика) 4 лекция 25.11.2020
fitNSU
2/2 13.11.19 Валентин Шехтман Модальная логика, топология и симплициальные множества
Модальная логика, топология и симплициальные множества Аннотация: В докладе будет рассказано о некоторых связях ...
Alex Dunaykin
Васюков В.Л. Онтология недостижимых миров или Как возможна алетическая модальная логика. 26.11.2013
Васюков В.Л. Онтология недостижимых миров или Как возможна алетическая модальная логика 26.11.2013 10-e заседание ...
Формальная философия
Модальная логика и вычислительная сложность. Лекция 5. Осень 2022. Михаил Николаевич Рыбаков.
Пятая лекция спецкурса "Модальная логика и вычислительная сложность", читавшегося Михаилом Николаевичем ...
Логика в Москве
