[Коллоквиум]: Строго позитивные фрагменты модальных и дескрипционных логик
Докладчик: Лев Беклемишев, МИАН / НИУ ВШЭ
В докладе будут рассматриваться слабые фрагменты модальной логики, называемые строго позитивными. Формулы строго позитивного модального языка представляют собой импликации вида A → B, где A и B построены из переменных и константы T (истина) с использованием лишь & и экзистенциальных модальностей (типа «ромб»). Интерес к таким фрагментам возник около 2010 года независимо в двух различных областях: в дескрипционной логике и в области приложений модальной логики в теор
27 views
3313
1301
1 month ago 00:27:02 1
Внутренний экзамен с разбором ошибок
1 month ago 01:51:04 1
Будет жестко. Экзамен, который должно пройти человечество в 2025 – Никита Метелица
1 month ago 01:51:01 1
Будет жестко! Экзамен, который определит всю дальнейшую судьбу – Никита Метелица
4 months ago 00:01:19 1
К чему снится экзамен? Сон про экзамены #сонник_онлайн
5 months ago 00:00:59 4
Экзамен по фехтованию и сценодвижению у 2 и 3 курсов
5 months ago 00:19:27 1
Как рисовать “Капитель“ - А. Рыжкин
6 months ago 00:00:50 1
Егэ в Китае. Самый сложный экзамен в мире! #shorts #китай #китайцы #егэ #экзамен
6 months ago 00:27:05 1
Строго по методичкам. Экзамен не сдал ...
6 months ago 00:03:05 1
Последний звонок Алсу Экзамены кончатся скоро, последний звонок прозвенит
8 months ago 00:00:18 1
Машина без водителя САМА СДАЛА ЭКЗАМЕН НА ПРАВА
8 months ago 01:38:10 1
Krylov 2023 ElMag 22
8 months ago 00:11:28 1
Расчет цепи несинусоидального тока
8 months ago 00:37:12 1
Вот как нужно готовиться к экзамену ГИБДД! Режим ЭКЗАМЕН на маршруте ГИБДД Северное Бутово
8 months ago 00:00:13 1
ЕГЭ на максималках: как к Китае сдают экзамены
8 months ago 00:03:27 1
Железная рубашка - экзамен по жесткому цигун “Свернувшийся дракон“
9 months ago 00:38:42 1
Начинающий в английском языке - какой он? Послушай интервью и сравни с собой - часть 1 - Петр
9 months ago 00:23:35 1
24 часа в бархатных тягах! Преподаватель по физике Саня Эбонит выполняет ЖЕСТКИЙ челлендж!
9 months ago 01:38:33 1
Krylov 2023 ElMag 11
10 months ago 00:12:43 1
Экзамен по физподготовке. Программа тренировок для военных и силовиков от Алексея Немцова
10 months ago 00:01:00 1
ЖЕСТКАЯ ПРАВДА ОБ АНГЛИЙСКОМ ЯЗЫКЕ
10 months ago 00:04:26 1
Можно ли решить эти задачи ЕГЭ красиво?
10 months ago 00:22:03 1
Сказочный патруль — Экзамен | Новая староста — Серии 54-55
11 months ago 00:01:00 12
УЧЕБНЫЙ ЦЕНТР | ЭКЗАМЕН | ТЕОРИЯ | ПРАКТИКА| ОБУЧЕНИЕ