Доказуемость и модальная логика [4] // Лев Беклемишев
Классическая логика высказываний исходит из предположения о том, что любые высказывания либо истинны, либо ложны. Логика доказуемости ...
Научный клуб
Модальные логики // Алексей Семёнов
Основные достижения математической логики относятся к математическим исследованиям математических рассуждений (эти исследования даже ...
Научный клуб
Модальная логика 2020. Лекция 04 | Евгений Золин | Мехмат МГУ | 2020.10.16
Примеры канонических модальных формул и логик: (i,j,m,n)-формулы (обобщения формулы Чёрча – Россера), их полимодальные аналоги, временные ...
Evgeny Zolin
Модальная логика 2020. Лекция 02 | Евгений Золин | Мехмат МГУ | 2020.10.02
Экскурс в логику высказываний: формулы, оценки переменных, тавтологии, исчисление высказывание (в двух формах: схемы аксиом и правило MP, ...
Evgeny Zolin
Беклемишев Л.Д. Доказуемость и модальная логика. Занятие 3
Ludmila Z
Беклемишев Л.Д. Доказуемость и модальная логика. Занятие 4
Ludmila Z
Лекция 13: Логика предикатов
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/13859/1256/lecture/23990.
НОУ ИНТУИТ
Доказуемость и модальная логика [3] // Лев Беклемишев
Классическая логика высказываний исходит из предположения о том, что любые высказывания либо истинны, либо ложны. Логика доказуемости ...
Научный клуб
Васюков В.Л. Онтология недостижимых миров или Как возможна алетическая модальная логика. 26.11.2013
Васюков В.Л. Онтология недостижимых миров или Как возможна алетическая модальная логика 26.11.2013 10-e заседание семинара "Формальная ...
Формальная философия
Лекция 1 | Введение в модальную логику | Даниил Рогозин | Лекториум
Лекция 1 | Автор: Даниил Рогозин | Курс: Введение в модальную логику | Организаторы: Computer Science Club при ПОМИ РАН Смотрите это видео на ...
Лекториум
1/2 13.11.19 Валентин Шехтман Модальная логика, топология и симплициальные множества
Модальная логика, топология и симплициальные множества Аннотация: В докладе будет рассказано о некоторых связях современной модальной ...
Alex Dunaykin
Модальная логика 2020. Лекция 03 | Евгений Золин | Мехмат МГУ | 2020.10.09
Каноническая модель непротиворечивой нормальной модальной логики L. В нашем изложении точками этой модели являются полные ...
Evgeny Zolin
Лурье В.М. Модальная логика времени в естеств. языке
Доклад на конференции «Аналитическая философия: проблемы и перспективы развития в России» (СПбГУ, 28-31 мая 2012).
Виктор Горбатов
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 2
0:00:09 1. Продолжение темы логики высказываний S5 0:04:20 2. Теорема 13.1 Эквивалентность 0:25:15 3. Лемма 13.2 Правила монотонности ...
teach-in
Модальная логика: бисимуляционные игры. В.Б. Шехтман, Е.Е. Золин (факультатив, 2 курс, 03.12.2020)
Кафедра матем. логики
Модальная логика. Лекция 06. Характеристическая формула конечной шкалы Крипке | Евгений Золин
2020.04.10. Лишь 1-я половина лекции (2-я не была записана по техническим причинам). Слайды (исправленные): ...
Evgeny Zolin
Модальная логика 2020. Лекция 10 | Евгений Золин | Мехмат МГУ | 2020.11.27
Фильтрация модальных логик. Лемма о фильтрации. Модальная различимость фильтрации. Совпадение понятий «полнота логики относительно ...
Evgeny Zolin
2/2 13.11.19 Валентин Шехтман Модальная логика, топология и симплициальные множества
Модальная логика, топология и симплициальные множества Аннотация: В докладе будет рассказано о некоторых связях современной модальной ...
Alex Dunaykin
Модальная логика 2020. Лекция 06 | Евгений Золин | Мехмат МГУ | 2020.10.30
Модальные морфизмы (p-морфизмы) моделей и шкал. Порожденные подмодели и подшкалы. Модальные логики кластеров — шкал вида (W,WxW).
Evgeny Zolin
Модальная логика 2020. Лекция 09 | Евгений Золин | Мехмат МГУ | 2020.11.20
Разрешимые и перечислимые модальные логики. Теорема Крейга о рекурсивной аксиоматизируемости всякой перечислимой логики. Финитно ...
Evgeny Zolin
Модальная логика. Лекция 10. Компактность. Теорема ван Бентема о характеризации | Евгений Золин
2020.05.22. Теорема о компактности для модальной логики. Модально компактные классы отмеченных моделей. Теорема ван Бентема о ...
Evgeny Zolin
Philosophy Man - Подкаст 03. Танцы на краю этической бездны и модальная логика в "Рик и Морти".
Это философский разбор популярного мультсериала "Рик и Морти". Анализируются проблемы идентичности, этические проблемы, роль модальной ...
Philosophy Man
Модальная логика. Лекция 07. Аксиоматика модальной логики конечной транзитивной шкалы. Евгений Золин
2020.04.17. Характеристическая формула Янкова–Файна для конечной транзитивной шкалы Крипке с корнем (напоминание). Построение конечной ...
Evgeny Zolin
Топологические модальные логики метрических пространств. Андрей Кудинов (15.10.2020)
Доклад по статье Bezhanishvili, G., Gabelaia, D. and Lucero-Bryan, J., 2015. Modal logics of metric spaces. The Review of Symbolic Logic, 8(1), pp.178-191.
Кафедра матем. логики
ЛОП (3 раздел - Модальная логика) 3 лекция (1 часть) 18.11.2020
fitNSU
17.01.2015 Маргарита Ниязова: «Модальные логики — 2» (1/2)
IMAG0002.AVI.
Sergey Adaschik
Слюсарев Владислав//Введение в модальную логику
Логика Москва
Модальные логики
Stels Free
Модальная логика 2020. Лекция 07 | Евгений Золин | Мехмат МГУ | 2020.11.06
Теорема Макинсона. Критерий Чагрова табличности логики. Конечная аксиоматизируемость логики всякой конечной шкалы. Годовой спецкурс.
Evgeny Zolin
Модальная логика. Лекция 08. Полимодальная логика. Отсутствие теоремы Макинсона | Евгений Золин
2020.04.24. Полимодальная логика. Теорема Макинсона о двух максимальных одномодальных нормальных логиках. Пример Томасона — бимодальная ...
Evgeny Zolin
Модальная логика 2020. Лекция 12 | Евгений Золин | 2020.12.11
Бисимуляция. Бисимулирующие отмеченные модели модально эквивалентны. Для моделей с конечным ветвлением верно и обратное, в общем случае ...
Evgeny Zolin
Модальная логика 2020. Лекция 11 | Евгений Золин | Мехмат МГУ | 2020.12.03
Грамматические модальные логики. Грамматики (системы переписывания строк, string rewriting systems, полу-системы Туэ, semi-Thue systems).
Evgeny Zolin
ЛОП (3 раздел - Модальная логика) 3 лекция (2 часть) 18.11.2020
fitNSU
Модальная логика 2020. Лекция 05 | Евгений Золин | Мехмат МГУ | 2020.10.23
Полные по Крипке модальные логики (эквивалентные определения). Несвязная сумма (или непересекающееся объединение) шкал и моделей.
Evgeny Zolin
ЛОП (3 раздел - Модальная логика) 1 лекция 28.10.2020
fitNSU
ЛОП (3 раздел - Модальная логика) 2 лекция 11.11.2020
fitNSU
Модальная логика 2020. Лекция 08 | Евгений Золин | Мехмат МГУ | 2020.11.13
Формулы Янкова-Файна. Критерий ван Бентема модальной определимости классов конечных транзитивных шкал. Теорема об изоморфизме конечных ...
Evgeny Zolin
ЛОП (3 раздел - Модальная логика) 5 лекция 02.12.2020
fitNSU
Лев Беклемишев - Беседы о логике. Часть 1 из 2. Беседует Николай Андреев
Может ли логика быть нечёткой? Что такое модальные логики и в каких практических приложениях они используются? Беседуют: — Лев Дмитриевич ...
НаукаPRO
Модальная логика. Лекция 09. Бисимуляция. Стандартный перевод. Теорема ван Бентема | Евгений Золин
2020.05.08. Бисимуляция. Бисимуляционная эквивалентность отмеченных моделей. Связь с модальной эквивалентностью. Стандартный перевод ...
Evgeny Zolin
17.01.2015 Маргарита Ниязова: «Модальные логики — 2» (2/2)
IMAG0003.AVI.
Sergey Adaschik
Лекция 3 | Введение в модальную логику | Даниил Рогозин | Лекториум
Лекция 3 | Автор: Даниил Рогозин | Курс: Введение в модальную логику | Организаторы: Computer Science Club при ПОМИ РАН Смотрите это видео на ...
Лекториум
